IFIP Working Group 2.3 on Programming Methodology

Part A gives an outline of the Alloy modelling language and shows
how it was used in an analysis of Microsoft COM (joint work with
Kevin Sullivan). Part B describes the analysis of Alloy by
translation to SAT, and includes brief comments on a new symmetry
breaking scheme developed by Ilya Shlyakhter.

[Part A]

[Part B]