4 citations · 5 across the 2 of their papers we have counts for
2 papers
cs.SE2011★ 1 cited
Building a refinement checker for Z
John Derrick, Siobhán North, Anthony J. H. Simons
In previous work we have described how refinements can be checked using a temporal logic based model-checker, and how we have built a model-checker for Z by providing a translation…
cs.SE2008★ 4 cited
Using Alloy to model-check visual design notations
Anthony J. H. Simons, Carlos Alberto Fernandez-y-Fernandez
This paper explores the process of validation for the abstract syntax of a graphical notation. We define an unified specification for five of the UML diagrams used by the Discovery…