Trail-directed model checking

  title={Trail-directed model checking},
  author={Stefan Edelkamp and Alberto Lluch-Lafuente and Stefan Leue},
  journal={Electr. Notes Theor. Comput. Sci.},
HSF-SPIN is a Promela model checker based on heuristic search strategies. It utilizes heuristic estimates in order to direct the search for nding software bugs in concurrent systems. As a consequence, HSF-SPIN is able to nd shorter trails than blind depthrst search. This paper contributes an extension to the paradigm of directed model checking to shorten already established unacceptable long error trails. This approach has been implemented in HSF-SPIN. For selected benchmark and industrial… CONTINUE READING


Publications citing this paper.

Similar Papers

Loading similar papers…