Efficient Approximate Verification of Promela Models Via Symmetry Markers
@inproceedings{DBLP:conf/atva/BosnackiDLM07,
author = {Dragan Bosnacki and
Alastair F. Donaldson and
Michael Leuschel and
Thierry Massart},
editor = {Kedar S. Namjoshi and
Tomohiro Yoneda and
Teruo Higashino and
Yoshio Okamura},
title = {Efficient Approximate Verification of Promela Models Via Symmetry Markers},
booktitle = {Automated Technology for Verification and Analysis, 5th International Symposium, {ATVA} 2007, Tokyo, Japan, October 22-25, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4762},
pages = {300-315},
publisher = {Springer},
year = {2007},
doi = {10.1007/978-3-540-75596-8_22},
}