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

V e r i S o f t


Contact us!


As of September 2006, Patrice Godefroid, who developed and maintained VeriSoft, no longer works at Bell Labs. Any technical question related to VeriSoft can still be addressed to him via the address god AT montefiore.ulg.ac.be

For other inquiries (legal, licenses, etc.), please see the Lucent Technologies' Research Software Distribution Web Site.