Journal: Formal Methods in System Design

Volume 37, Issue 2-3

93 -- 94Ana Cavalcanti, Dennis Dams. Special issue: 2nd World Congress on Formal Methods
95 -- 140Raymond T. Boute. Pointfree expression and calculation: from quantification to temporal logic
141 -- 170Holger Gast. Reasoning about memory layouts
171 -- 199Jochen Hoenicke, K. Rustan M. Leino, Andreas Podelski, Martin Schäf, Thomas Wies. Doomed program points
200 -- 264Shuhao Li, Sandie Balaguer, Alexandre David, Kim G. Larsen, Brian Nielsen, Saulius Pusinskas. Scenario-based verification of real-time systems using Uppaal
265 -- 294Ralph D. Jeffords, Constance L. Heitmeyer, Myla Archer, Elizabeth I. Leonard. Model-based construction and verification of critical systems using composition and partial refinement

Volume 37, Issue 1

1 -- 60Scott Uk-Jin Lee, Gillian Dobbie, Jing Sun, Lindsay Groves. Theorem prover approach to semistructured data design
61 -- 92Max Goldman, Emilia Katz, Shmuel Katz. MAVEN: modular aspect verification and interference analysis