9 citations · 29 across the 14 of their papers we have counts for
3 papers · 1 filter
Proceedings 16th International Refinement Workshop
John Derrick, Eerke Boiten, Steve Reeves
The 16th BCS-FACS Refinement Workshop was co-located with iFM 2013 held in Turku, Finland on June 11th, 2013. This volume contains the 6 papers selected for presentation at the wor…
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…
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…