9 citations · 29 across the 14 of their papers we have counts for
Showing 2011 · cs.SEShow all
2 papers · 2 filters
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.SE2011★ 1 cited
Proceedings 15th International Refinement Workshop
John Derrick, Eerke Boiten, Steve Reeves
Refinement is one of the cornerstones of a formal approach to software engineering: the process of developing a more detailed design or implementation from an abstract specificatio…