Skip to main content
Conference ProceedingsOPEN ACCESS

Verisoft: A tool for the automatic analysis of concurrent reactive software

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (1997) 1254 476-479
DOI: 10.1007/3-540-63166-6_52
37Citations
Citations of this article
10Readers
Mendeley users who have this article in their library.

This article is free to access.

Abstract

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++. 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 for following the execution of all the processes of the concurrent system.

Cite

CITATION STYLE

APA

Godefroid, P. (1997). Verisoft: A tool for the automatic analysis of concurrent reactive software. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 1254, pp. 476–479). Springer Verlag. https://doi.org/10.1007/3-540-63166-6_52

Register to see more suggestions

Mendeley helps you to discover research relevant for your work.

Already have an account?

Save time finding and organizing research with Mendeley

Sign up for free