6 search results - page 1 / 2 » Extending the theory of Owicki and Gries with a logic of pro... |
LMCS
2006
13 years 6 months ago
2006
IWFM
2003
13 years 7 months ago
2003
This paper describes the derivation of a program for the propagation of information over a network, with acknowledgement (feedback) when the computation is complete. The derivatio...
ASWEC
2006
IEEE
14 years 2 days ago
2006
IEEE
This paper describes the formalisation of Java thread synchronisation in an extended Owicki-Gries theory, which facilitates the proof of safety and progress properties of multi-th...
ATVA
2007
Springer
14 years 5 days ago
2007
Springer
Automated software verification has made great progress recently, and a key enabler of this progress has been the advances in efficient, automated decision procedures suitable fo...
BIRTHDAY
2010
Springer
13 years 6 months ago
2010
Springer
Abstract. We present a succinct account of dynamic rippling, a technique used to guide the automation of inductive proofs. This simplifies termination proofs for rippling and hence...