Alloy

Revision as of 11:23, 5 February 2018 by Michael Leuschel (talk | contribs) (Created page with "Category:User Manual As of version 1.8 ProB provides support to load [http://alloy.mit.edu/alloy/ Alloy] models. The Alloy models are translated to B machines by a [http...")
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)


As of version 1.8 ProB provides support to load Alloy models. The Alloy models are translated to B machines by a Java frontend.

This work and web page is still experimental.

Installation

Clone or download Alloy2B project on Github. Make jar file (gradle build) and put resulting alloy2b-*.jar file into ProB's lib folder.