S. Akhtar, S. Merz, and M. Quinson, A High-Level Language for Modeling Algorithms and Their Properties, 13th Brazilian Symp. on Formal Methods, pp.49-63, 2010.
DOI : 10.1007/3-540-48153-2_6

URL : https://hal.archives-ouvertes.fr/inria-00537779

S. Akhtar, S. Akhtar, and . Merz, Partial-Order Reduction for Verifying PlusCal-2 Algorithms, 11th International Workshop on Automated Verification of Critical Systems, 2011.

A. , R. Allen, and K. Kennedy, Automatic Translation of Fortran Programs to Vector Form, ACM Trans. Program. Lang. Syst, vol.9, issue.4, pp.491-542, 1987.

R. J. Anderson, Security engineering: A guide to building dependable distributed systems, p.17, 2001.

R. Gregory and . Andrews, Foundations of multithreaded, parallel, and distributed programming, p.17, 2000.

J. Katoen, Principles of model checking, 2008.

C. Edmund, M. Clarke, and E. Emerson, Design and Synthesis of Synchronization Skeletons Using Branching-Time Temporal Logic, Logic of Programs, pp.52-71, 1981.

C. , E. M. Clarke, E. A. Emerson, and A. P. Sistla, Automatic Verification of Finite-State Concurrent Systems Using Temporal Logic Specifications, ACM Trans. Program. Lang. Syst, vol.8, issue.2, pp.244-263, 1986.

M. Edmund, O. Clarke, D. E. Grumberg, and . Long, Model checking, NATO ASI DPD, pp.305-349, 1996.

M. Edmund, S. Clarke, R. Jha, T. Enders, and . Filkorn, Exploiting Symmetry in Temporal Logic Model Checking, Formal Methods in System Design, pp.77-104, 1996.

D. Dolev, M. M. Klawe, and M. Rodeh, An O(n log n) unidirectional distributed algorithm for extrema finding in a circle, Journal of Algorithms, vol.3, issue.3, pp.245-260, 0118.
DOI : 10.1016/0196-6774(82)90023-2

]. Emerson and A. P. Sistla, Symmetry and model checking, Formal Methods in System Design, vol.61, issue.No. 1, pp.105-131, 1996.
DOI : 10.1007/BF00625970

P. Flanagan and . Godefroid, Dynamic partial-order reduction for model checking software, Jens Palsberg and Martín Abadi, editeurs, pp.110-121, 2005.

P. Godefroid, Using partial orders to improve automatic verification methods, Lecture Notes in Computer Science, vol.531, pp.176-185, 1991.
DOI : 10.1007/BFb0023731

]. P. Godefroid and P. Wolper, A Partial Approach to Model Checking, Information and Computation, vol.110, issue.2, pp.305-326, 1994.
DOI : 10.1006/inco.1994.1035

P. Godefroid, Partial-order methods for the verification of concurrent systems -an approach to the state-explosion problem, volume 1032 of Lecture Notes in Computer Science, pp.28-29, 1996.

Y. Gurevich, B. Rossman, and W. Schulte, Semantic essence of AsmL, Theoretical Computer Science, vol.343, issue.3, pp.370-412, 2005.
DOI : 10.1016/j.tcs.2005.06.017

J. Gerard and . Holzmann, The Model Checker SPIN, IEEE Trans. Softw. Eng, vol.23, pp.279-295, 1997.

]. C. Ip and D. L. Dill, Better Verification Through Symmetry, CHDL, volume A-32 of IFIP Transactions, pp.97-111, 1993.

J. W. Killian, R. Anderson, R. Braud, A. Jhala, and . Vahdat, Mace: Language Support for Building Distributed Systems, PLDI, pp.179-188, 2007.

P. Robert, V. Kurshan, M. Levin, and . Minea, Doron Peled and Hüsnü Yenigün. Static Partial Order Reduction, TACAS, pp.345-357, 1998.

]. Lamport, The ???+??? CAL Algorithm Language, 2006.
DOI : 10.1007/11888116_2

]. Lamport, Checking a Multithreaded Algorithm with ???+???CAL, Shlomi Dolev, editeur, 20th Intl. Symp. Distributed Computing, pp.151-163, 2006.
DOI : 10.1007/11864219_11

]. Lamport, The PlusCal Algorithm Language, Lecture Notes in Computer Science, vol.21, pp.36-60, 2009.
DOI : 10.1145/359576.359585

A. Yanhong, B. Liu, S. D. Lin, and . Stoller, Programming and Optimizing Distributed Algorithms: An Overview, Proc. 8th International Conference & Expo on Emerging Technologies for a Smarter World, 2011.

A. Nancy and . Lynch, Distributed algorithms, pp.35-101, 1996.

L. Kenneth and . Mcmillan, Using Unfoldings to Avoid the State Explosion Problem in the Verification of Asynchronous Circuits, CAV, pp.164-177, 1992.

L. Kenneth and . Mcmillan, Symbolic model checking, Kluwer, 1993.

M. Naimi, M. Trehel, and A. Arnold, A Log (N) Distributed Mutual Exclusion Algorithm Based on Path Reversal, Journal of Parallel and Distributed Computing, vol.34, issue.1, pp.1-13, 1996.
DOI : 10.1006/jpdc.1996.0041

L. Gary and . Peterson, Myths About the Mutual Exclusion Problem, Inf. Process. Lett, vol.12, issue.3, pp.115-116, 1981.

]. Rabin, Fingerprinting by random polynomials, pp.15-18, 1981.

]. A. Valmari, A stubborn attack on state explosion, 2nd International Workshop on Computer Aided Verification, pp.156-165, 1990.
DOI : 10.1007/BFb0023729

M. Yabandeh, N. Knezevic, D. Kostic, and V. Kuncak, CrystalBall: predicting and preventing inconsistencies in deployed distributed systems, Proceedings of the 6th USENIX symposium on Networked systems design and implementation, NSDI'09, pp.229-244, 2009.

]. Yang, X. Chen, G. Gopalakrishnan, and R. M. Kirby, Distributed Dynamic Partial Order Reduction Based Verification of Threaded Software, SPIN, pp.58-75, 2007.
DOI : 10.1007/978-3-540-73370-6_6

]. Yang, X. Chen, G. Gopalakrishnan, and R. M. Kirby, Efficient Stateful Dynamic Partial Order Reduction, SPIN, pp.288-305, 2008.
DOI : 10.1007/978-3-540-85114-1_20

Y. Yu, P. Manolios, and L. Lamport, Model checking TLA+ Specifications Pierre and T. Kropf, editeurs, Correct Hardware Design and Verification Methods (CHARME'99), volume 1703 of LNCS, pp.54-66, 1999.