Volume 37, Issue 2-3 | Formal Methods in System Design

Search all Formal Methods in System Design articles

Volume 37, Issue 2-3

December 2010

Special issue on 'FM2009: 2nd World Congress on Formal Methods'

Issue Editors:

Ana Cavalcanti,
Dennis R. Dams

6 articles in this issue

Special issue: 2nd World Congress on Formal Methods
Ana Cavalcanti
Dennis Dams
EditorialNotes 20 January 2011 Pages: 93 - 94
Pointfree expression and calculation: from quantification to temporal logic
Raymond Boute
OriginalPaper 20 October 2010 Pages: 95 - 140
Reasoning about memory layouts
Holger Gast
OriginalPaper 02 September 2010 Pages: 141 - 170
Doomed program points
Jochen Hoenicke
K. Rustan M. Leino
Thomas Wies
OriginalPaper 24 November 2010 Pages: 171 - 199
Scenario-based verification of real-time systems using Uppaal
Shuhao Li
Sandie Balaguer
Saulius Pusinskas
OriginalPaper 26 November 2010 Pages: 200 - 264
Model-based construction and verification of critical systems using composition and partial refinement
Ralph D. Jeffords
Constance L. Heitmeyer
Elizabeth I. Leonard
OriginalPaper 28 December 2010 Pages: 265 - 294