VeriSoft: A tool for the automatic analysis of concurrent reactive software [chapter]

Patrice Godefroid
1997 Lecture Notes in Computer Science  
VeriSoft is a tool for systematically exploring the state spaces of systems composed of several concurrent processes executing arbitrary code written in full-fledged programming languages such as C or C-t--t-. It can automatically detect coordination problems between concurrent processes. Specifically, VeriSoft searches the state space of the system for deadlocks, livelocks, divergences, and violations of user-specified assertions. An interactive graphical simulator/debugger is also available
more » ... r following the execution of all the processes of the concurrent system.
doi:10.1007/3-540-63166-6_52 fatcat:g6gs4hkn65gnpkglu56bsqfuby