Brief announcement: efficient model checking of fault-tolerant distributed protocols using symmetry reduction

Authors:
Péter Bokor;Marco Serafini;Neeraj Suri;Helmut Veith
Affiliations:
Technische Universität Darmstadt, Germany;Technische Universität Darmstadt, Germany;Technische Universität Darmstadt, Germany;Technische Universität Darmstadt, Germany
Venue:
DISC'09 Proceedings of the 23rd international conference on Distributed computing
Year:
2009

Citing 4
Cited 0

Better verification through symmetry

Formal Methods in System Design - Special issue on symmetry in automatic verification
The part-time parliament

ACM Transactions on Computer Systems (TOCS)
Symmetry in temporal logic model checking

ACM Computing Surveys (CSUR)
Checking a multithreaded algorithm with +CAL

DISC'06 Proceedings of the 20th international conference on Distributed Computing

Quantified Score

Hi-index	0.00

Visualization

Abstract