Computer Society of India Communications May 2007: Formal Methods Special Theme Issue

Journal of Universal Computer Science May 2007: Special Issue on the State of the Art in Formal Methods

In the autumn of 2006, I was asked to guest edit a Special Theme Issue, on the topic of Formal Methods, for the journal Computer Society of India Communications, scheduled for May 2007. I was fortunate to be able to commission contributions from an outstanding set of authors, so in the interests of wider accessibility of the papers below, they were also published as a Special Issue on the State of the Art in Formal Methods in the Journal of Universal Computer Science, also appearing in May 2007.

Citation Details:

Computer Society of India Communications
Vol. 31, Issue 2, May 2007.
ISSN: 0970-647X

Journal of Universal Computer Science
Vol. 13, Issue 5, May 2007.
ISSN: 0948-6968
http://www.jucs.org


Guest Editorial: Formal Methods
Richard Banach
CSI Comm. pp. 4-7    J.UCS pp. 593-601

Software Is More Than Code
Sriram Rajamani
CSI Comm. pp. 8-9    J.UCS pp. 602-606

Formal Methods for Specifying, Validating, and Verifying Requirements
Constance Heitmeyer
CSI Comm. pp. 10-14    J.UCS pp. 607-618

Formal Methods: Theory Becoming Practice
Jean-Raymond Abrial
CSI Comm. pp. 15-18    J.UCS pp. 619-628

Floating-Point Verification
John Harrison
CSI Comm. pp. 19-22    J.UCS pp. 629-638

Model Checking: Software and Beyond
Edmund Clarke and Flavio Lerda
CSI Comm. pp. 23-27    J.UCS pp. 639-649

Automated Formal Methods Enter the Mainstream
John Rushby
CSI Comm. pp. 28-32    J.UCS pp. 650-660

The Verification Grand Challenge
Jim Woodcock and Richard Banach
CSI Comm. pp. 33-36    J.UCS pp. 661-668

Realising the Benefits of Formal Methods
Anthony Hall
CSI Comm. pp. 37-41    J.UCS pp. 669-678