Abstract. We give a detailed description of SymmSpin, a symmetryreduction package for Spin. It o ers four strategies for state-space reduction, based on the heuristic that we prese...
This paper describes how two runtime analysis algorithms, an existing data race detection algorithm and a new deadlock detection algorithm, have been implemented to analyze Java pr...
Multithreaded applications are notoriously difficult to design and build while avoiding defects. Many of Compaq's customers need to employ threads to implement high-performanc...