6 search results - page 1 / 2 » Extending the theory of Owicki and Gries with a logic of pro... |
61
Voted
LMCS
2006
14 years 10 months ago
2006
IWFM
2003
14 years 11 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
15 years 4 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...
109
click to vote
ATVA
2007
Springer
15 years 4 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...
66
Voted
BIRTHDAY
2010
Springer
14 years 10 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...