<> "The repository administrator has not yet configured an RDF license."^^ . <> . . . "Trail-directed model checking"^^ . "HSF-SPIN is a Promela model checker based on heuristic search strategies. It utilizes heuristic estimates in order to direct the search for finding software bugs in concurrent systems. As a consequence, HSF-SPIN is able to find shorter trails than blind depth-first search.\r\nThis 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 communication protocols experimental evidence is given that trail-directed model-checking effectively shortcuts existing witness paths.\r\n"^^ . "2001" . . "55" . "3" . . "Elsevier"^^ . . . "Electronic Notes in Theoretical Computer Science"^^ . . . "15710661" . . . . . . . . . . . . . "Alberto"^^ . "Lluch-Lafuente"^^ . "Alberto Lluch-Lafuente"^^ . . "Stefan"^^ . "Edelkamp"^^ . "Stefan Edelkamp"^^ . . "Stefan"^^ . "Leue"^^ . "Stefan Leue"^^ . . . . . . "Trail-directed model checking (PDF)"^^ . . . . . . "Edelkamp_Lluch-lafuente_Leue_2001ENTCS.pdf"^^ . . . "Trail-directed model checking (Other)"^^ . . . . . . "lightbox.jpg"^^ . . . "Trail-directed model checking (Other)"^^ . . . . . . "preview.jpg"^^ . . . "Trail-directed model checking (Other)"^^ . . . . . . "medium.jpg"^^ . . . "Trail-directed model checking (Other)"^^ . . . . . . "small.jpg"^^ . . "HTML Summary of #171 \n\nTrail-directed model checking\n\n" . "text/html" . . . "QA75 Electronic computers. Computer science"@en . .