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
Software Is More Than Code
Formal Methods for Specifying, Validating, and Verifying Requirements
Formal Methods: Theory Becoming Practice
Floating-Point Verification
Model Checking: Software and Beyond
Automated Formal Methods Enter the Mainstream
The Verification Grand Challenge
Realising the Benefits of Formal Methods
Sriram Rajamani
CSI Comm. pp. 8-9 J.UCS pp. 602-606
Constance Heitmeyer
CSI Comm. pp. 10-14 J.UCS pp. 607-618
Jean-Raymond Abrial
CSI Comm. pp. 15-18 J.UCS pp. 619-628
John Harrison
CSI Comm. pp. 19-22 J.UCS pp. 629-638
Edmund Clarke and Flavio Lerda
CSI Comm. pp. 23-27 J.UCS pp. 639-649
John Rushby
CSI Comm. pp. 28-32 J.UCS pp. 650-660
Jim Woodcock and Richard Banach
CSI Comm. pp. 33-36 J.UCS pp. 661-668
Anthony Hall
CSI Comm. pp. 37-41 J.UCS pp. 669-678