Efficient Approximate Verification of Promela Models Via Symmetry Markers

Dragan Bosnacki, Alastair F. Donaldson, Michael Leuschel, Thierry Massart. Efficient Approximate Verification of Promela Models Via Symmetry Markers. In Kedar S. Namjoshi, Tomohiro Yoneda, Teruo Higashino, Yoshio Okamura, editors, Automated Technology for Verification and Analysis, 5th International Symposium, ATVA 2007, Tokyo, Japan, October 22-25, 2007, Proceedings. Volume 4762 of Lecture Notes in Computer Science, pages 300-315, Springer, 2007. [doi]

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