@inproceedings{b35c9629842c4031b3f2bbeed08f142a,
title = "Comparing symbolic and explicit model checking of a software system",
abstract = "There are two main paradigms for model checking: symbolic model checking, as is performed by the tool RuleBase, and explicit state model checking, as is performed by Spin. It is often accepted that the former is better for verifying hardware systems, while the latter has advantages for verifying software. We examine this piece of common wisdom in light of experience in verifying the software of a disk controller using both symbolic and explicit state model checking.",
author = "Cindy Eisner and Doron Peled",
year = "2002",
doi = "10.1007/3-540-46017-9_18",
language = "אנגלית",
isbn = "3540434771",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "230--239",
editor = "Dragan Bosnacki and Stefan Leue",
booktitle = "Model Checking Software - 9th International SPIN Workshop, Proceedings",
address = "גרמניה",
note = "9th International SPIN Workshop on Model Checking Software, SPIN 2002 ; Conference date: 11-04-2002 Through 13-04-2002",
}