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

Patrice Godefroid

Published in: CAV (1997)

Keyphrases

computer software
automatic analysis
software application
software tools
manual annotation
vessel tree
graphical user interface
automatic assessment
analysis tool
body movements
data sets
artificial intelligence
source code
software development
user friendly