Reference
List
- General
references
- Logic in
Computer Science
by Michael Huth and Mark Ryan
- Formal
Methods Specification and Analysis Guidebook for the
Verification
of Software and Computer Systems Volume II: A Practitioner's Companion,
NASA, May, 1997.
- E. Clarke and J. Wing,
Formal Methods: State of the Art and Future Directions, CMU
Computer Science Technical
Report CMU-CS-96-178, August 1996.
- Rajeev Alur and Thomas A. Henzinger, Computer-Aided
Verification: An Introduction to Model Building and Model
Checking for Concurrent Systems , Draft, 1998.
- Formal
Verification Surveys list compiled by Jayanta Bhadra
- Formal
Methods
Repository
- Carl-Johan Seger,
An Introduction to Formal Hardware Verification, UBC CS TR
92-13, June 1992.
- QPQ: online journal for
peer-reviewed
source code for deductive software components
- David
Gries' Banquet Speech at ZUM95, Limerick, Ireland
Send questions or comments to jmatlee@cs.uwaterloo.ca