Efficient Approximate Verification of Promela Models Via Symmetry Markers.

Dragan Bosnacki, Alastair F. Donaldson, Michael Leuschel, Thierry Massart

Browse the full ATVA paper archive.