6 search results - page 1 / 2 » Extending the theory of Owicki and Gries with a logic of pro... |
LMCS
2006
13 years 5 months ago
2006
IWFM
2003
13 years 6 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
13 years 11 months 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
13 years 11 months 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 5 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...