Issue 5

Submission Procedure

User: anonymous

Volume 14 (2008)

Volume 13 (2007)

Volume 12 (2006)

Volume 11 (2005)

Volume 10 (2004)

Volume 9 (2003)

Volume 8 (2002)

Volume 7 (2001)

Volume 6 (2000)

Volume 5 (1999)

Volume 4 (1998)

Volume 3 (1997)

Volume 2 (1996)

Volume 1 (1995)

Volume 0 (1994)

Articles by Topics

Articles by Author

Board of Editors

Geographical Mashup

Submission Procedure

Printed Publications

Collection of other papers

Content of Issue 5
Managing Editor's Column	H. Maurer	592
Formal Methods Guest Editorial	R. Banach	593
Software Is More Than Code	S.K. Rajamani	602
Formal Methods for Specifying, Validating, and Verifying Requirements	C.L. Heitmeyer	607
Formal Methods: Theory Becoming Practice	J.-R. Abrial	619
Floating-Point Verification	J. Harrison	629
Model Checking: Software and Beyond	E.M. Clarke, F. Lerda	639
Automated Formal Methods Enter the Mainstream	J. Rushby	650
The Verification Grand Challenge	J. Woodcock, R. Banach	661
Realising the Benefits of Formal Methods	A. Hall	669