Translating Alloy and Extensions to Classical B
In this article, we introduce a denotational translation of the specification language Alloy to classical B.
Alloy
A Translation from Alloy to B
In this paper, we introduce a translation of the specification language Alloy to classical B.