[Main] [Tutorial] [Demo] [FAQ] [Documentation] [Download] [Contact us!] [About VeriSoft]

About VeriSoft

VeriSoft was designed and developed by Patrice Godefroid. The trace view of the VeriSoft simulator was developed with the help of Tom Ball, and includes code from the MSC tool developed by Gerard Holzmann, Doron Peled, Rajeev Alur and Brian Kernighan. The development of the state-space view of the VeriSoft simulator is a joint work with Sameer Sundresh.

We would like to thank all the persons who contributed to this project by their valuable comments and suggestions. Special thanks go to Mark Ardis, Tom Ball, Tom Baran, Bernard Boigelot, Glenn Bruns, Chris Colby, Ken Cox, Randy Hackbarth, Bob Hanmer, Lalita Jagadeesan, Peter Mataga, Carlos Puchol, Mark Staskauskas, Sameer Sundresh, Curt Tuckey, David Weiss, and the members of the Software Production Research department. Thanks also to Al Aho, Bill Ninke, and Ravi Sethi for their support.

For more information on other research projects related to VeriSoft, see Patrice Godefroid's home-page.