"VeriSoft: A Tool for the Automatic Analysis of Concurrent Reactive Software."

Patrice Godefroid (1997)
a service of Schloss Dagstuhl - Leibniz Center for Informatics