Documentation Available on VeriSoft

The VeriSoft Reference Manual is included in the distribution package available from [Download].

A course on VeriSoft was given at Stanford University during the Fall 1999.

A book on VeriSoft is also in preparation (!?!).

Slides:

• "Model-Checking" Software with VeriSoft A recent general introduction to VeriSoft. (Invited talk given at PASTE 2004, June 2004. Abstract available here.)

Papers on Applications:

• Software Model Checking in Practice: An Industrial Case Study Proceedings of ICSE'2002 (International Conference on Software Engineering), Orlando, May 2002.

• Systematic Software Testing using VeriSoft: An Analysis of the 4ESS Heart-Beat Monitor Bell Labs Technical Journal, Volume 3, Number 2, April-June 1998.

• Model Checking Without a Model: An Analysis of the Heart-Beat Monitor of a Telephone Switch using VeriSoft Proceedings of ACM SIGSOFT ISSTA'98 (International Symposium on Software Testing and Analysis), Clearwater Beach, March 1998. Also presented at the 1997 Lucent Software Symposium.

• Software Model Checking: The VeriSoft Approach Bell Labs Technical Memorandum ITD-03-44189G, March 2003. To appear in a special issue of the journal "Formal Methods in System Design" on software model checking.

• Model Checking for Programming Languages using VeriSoft Proceedings of the 24th ACM Symposium on Principles of Programming Languages, pages 174-186, Paris, January 1997.

• VeriSoft: A Tool for the Automatic Analysis of Concurrent Reactive Software (short paper) Proceedings of the 9th Conference on Computer Aided Verification, Haifa, June 1997. Lecture Notes in Computer Science, vol. 1254, pages 476-479, Springer-Verlag.

• Other references and related work: see Patrice Godefroid's home-page.