A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf
.
VeriSoft: A tool for the automatic analysis of concurrent reactive software
[chapter]
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
doi:10.1007/3-540-63166-6_52
fatcat:g6gs4hkn65gnpkglu56bsqfuby