160
Voted
ACSC
2006
IEEE
15 years 11 months ago
2006
IEEE
We introduce a logic for reasoning about and constructing refinements for
217
Voted
ICFEM
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. Refinement plays a crucial role in "top-down" styles of verification, such as the refinement calculus, but for probabilistic systems proof of refinement is a pa...
200
click to vote
IPPS
1998
IEEE
15 years 12 months ago
1998
IEEE
Abstract. We extend the refinement calculus to permit the derivation of programs in the Bulk Synchronous Parallelism (BSP) style. This demonstrates that formal approaches developed...