2 papers
cs.SE2022
More Programming Than Programming: Teaching Formal Methods in a Software Engineering Programme
James Noble, David Streader, Isaac Oscar Gariano +1
Formal methods for software correctness are critical to the future of software engineering - and so must be an essential part of software engineering education. Unfortunately, form…
cs.SE2011
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…