1 citations · 1 across the 1 of their papers we have counts for
1 paper
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…