Issue 2-3/2010
Special issue on 'FM2009: 2nd World Congress on Formal Methods'
Content (6 Articles)
Doomed program points
Jochen Hoenicke, K. Rustan M. Leino, Andreas Podelski, Martin Schäf, Thomas Wies
Scenario-based verification of real-time systems using Uppaal
Shuhao Li, Sandie Balaguer, Alexandre David, Kim G. Larsen, Brian Nielsen, Saulius Pusinskas
Model-based construction and verification of critical systems using composition and partial refinement
Ralph D. Jeffords, Constance L. Heitmeyer, Myla M. Archer, Elizabeth I. Leonard