Papers

Dragan Bosnacki, Alastair F. Donaldson, Michael Leuschel, Thierry Massart. Efficient Approximate Verification of Promela via Symmetry Markers. In Proceedings of the 5th International Symposium on Automated Technology for Verification and Analysis (ATVA'07), Lecture Notes in Computer Science 4762, pages 300-315. Springer, 2007.

Bibtex:

@inproceedings{BosnackiDLM_ATVA2007,
   title      = {Efficient Approximate Verification of {Promela}
                 via Symmetry Markers},
   author     = {Dragan Bosnacki and Alastair F. Donaldson and
                 Michael Leuschel and Thierry Massart},
   booktitle  = {Proceedings of the 5th International Symposium
                 on Automated Technology for Verification and
                 Analysis (ATVA'07)},
   series     = {Lecture Notes in Computer Science},
   volume     = {4762},
   pages      = {300-315},
   publisher  = {Springer},
   year       = {2007}
}