Sebastian Krings
Sebastian Krings
Home
Posts
Projects
Publications
Contact
Light
Dark
Automatic
Alloy
Translating Alloy and Extensions to Classical B
In this article, we introduce a denotational translation of the specification language Alloy to classical B. Our translation closely …
Sebastian Krings
,
Michael Leuschel
,
Joshua Schmidt
,
David Schneider
,
Marc Frappier
Project
DOI
A Translation from Alloy to B
In this paper, we introduce a translation of the specification language Alloy to classical B. Our translation closely follows the Alloy …
Sebastian Krings
,
Joshua Schmidt
,
Carola Brings
,
Marc Frappier
,
Michael Leuschel
PDF
Cite
Project
DOI
Cite
×