12 citations · 15 across the 6 of their papers we have counts for
4 papers · 1 filter
Integrating User Design and Formal Models within PVSio-Web
Nathaniel Watson, Steve Reeves, Paolo Masci
Creating formal models of interactive systems has wide reaching benefits, not only for verifying low-level correctness, but also as a tool for ensuring user interfaces behave logic…
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…
Refinement for Probabilistic Systems with Nondeterminism
Steve Reeves, David Streader
Before we combine actions and probabilities two very obvious questions should be asked. Firstly, what does "the probability of an action" mean? Secondly, how does probability inter…
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…