Go home now Header Background Image
Submission Procedure
share: |
Follow us
Volume 13

Content of Issue 5
DOI: 10.3217/jucs-013-05
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