Trail-Directed Model Checking


Dateien zu dieser Ressource

Prüfsumme: MD5:226dd48150664e6850bbb98887ae0bc7

EDELKAMP, Stefan, Alberto LLUCH-LAFUENTE, Stefan LEUE, 2001. Trail-Directed Model Checking. In: Electronic Notes in Theoretical Computer Science. 55(3), pp. 343-356

@article{Edelkamp2001Trail-5538, title={Trail-Directed Model Checking}, year={2001}, doi={10.1016/S1571-0661(04)00261-0}, number={3}, volume={55}, journal={Electronic Notes in Theoretical Computer Science}, pages={343--356}, author={Edelkamp, Stefan and Lluch-Lafuente, Alberto and Leue, Stefan} }

2001 Leue, Stefan Lluch-Lafuente, Alberto Lluch-Lafuente, Alberto Edelkamp, Stefan 2011-03-24T15:56:17Z deposit-license application/pdf eng First publ. in: Electronic Notes in Theoretical Computer Science 55 (2001), 3, pp. 343-356 Trail-Directed Model Checking Leue, Stefan Edelkamp, Stefan 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.<br /><br />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 communication protocols experimental evidence is given that trail-directed model-checking effectively shortcuts existing witness paths. 2011-03-24T15:56:17Z

Dateiabrufe seit 01.10.2014 (Informationen über die Zugriffsstatistik)

Trail_Directed_Model_Checking.pdf 58

Das Dokument erscheint in:

deposit-license Solange nicht anders angezeigt, wird die Lizenz wie folgt beschrieben: deposit-license

KOPS Suche


Mein Benutzerkonto