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
Partial-Order Reduction for Verifying PlusCal-2 Algorithms, 11th International Workshop on Automated Verification of Critical Systems, 2011. ,
Automatic Translation of Fortran Programs to Vector Form, ACM Trans. Program. Lang. Syst, vol.9, issue.4, pp.491-542, 1987. ,
Security engineering: A guide to building dependable distributed systems, p.17, 2001. ,
Foundations of multithreaded, parallel, and distributed programming, p.17, 2000. ,
Principles of model checking, 2008. ,
Design and Synthesis of Synchronization Skeletons Using Branching-Time Temporal Logic, Logic of Programs, pp.52-71, 1981. ,
Automatic Verification of Finite-State Concurrent Systems Using Temporal Logic Specifications, ACM Trans. Program. Lang. Syst, vol.8, issue.2, pp.244-263, 1986. ,
Model checking, NATO ASI DPD, pp.305-349, 1996. ,
Exploiting Symmetry in Temporal Logic Model Checking, Formal Methods in System Design, pp.77-104, 1996. ,
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
Symmetry and model checking, Formal Methods in System Design, vol.61, issue.No. 1, pp.105-131, 1996. ,
DOI : 10.1007/BF00625970
Dynamic partial-order reduction for model checking software, Jens Palsberg and Martín Abadi, editeurs, pp.110-121, 2005. ,
Using partial orders to improve automatic verification methods, Lecture Notes in Computer Science, vol.531, pp.176-185, 1991. ,
DOI : 10.1007/BFb0023731
A Partial Approach to Model Checking, Information and Computation, vol.110, issue.2, pp.305-326, 1994. ,
DOI : 10.1006/inco.1994.1035
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. ,
Semantic essence of AsmL, Theoretical Computer Science, vol.343, issue.3, pp.370-412, 2005. ,
DOI : 10.1016/j.tcs.2005.06.017
The Model Checker SPIN, IEEE Trans. Softw. Eng, vol.23, pp.279-295, 1997. ,
Better Verification Through Symmetry, CHDL, volume A-32 of IFIP Transactions, pp.97-111, 1993. ,
Mace: Language Support for Building Distributed Systems, PLDI, pp.179-188, 2007. ,
DOI : 10.1109/p2p.2009.5284502
Doron Peled and Hüsnü Yenigün. Static Partial Order Reduction, TACAS, pp.345-357, 1998. ,
The ???+??? CAL Algorithm Language, 2006. ,
DOI : 10.1007/11888116_2
Checking a Multithreaded Algorithm with ???+???CAL, Shlomi Dolev, editeur, 20th Intl. Symp. Distributed Computing, pp.151-163, 2006. ,
DOI : 10.1007/11864219_11
The PlusCal Algorithm Language, Lecture Notes in Computer Science, vol.5684, pp.36-60, 2009. ,
DOI : 10.1007/978-3-642-03466-4_2
Programming and Optimizing Distributed Algorithms: An Overview, Proc. 8th International Conference & Expo on Emerging Technologies for a Smarter World, 2011. ,
Distributed algorithms, pp.35-101, 1996. ,
Using Unfoldings to Avoid the State Explosion Problem in the Verification of Asynchronous Circuits, CAV, pp.164-177, 1992. ,
Symbolic model checking, Kluwer, 1993. ,
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
Myths About the Mutual Exclusion Problem, Inf. Process. Lett, vol.12, issue.3, pp.115-116, 1981. ,
Fingerprinting by random polynomials, pp.15-18, 1981. ,
A stubborn attack on state explosion, 2nd International Workshop on Computer Aided Verification, pp.156-165, 1990. ,
DOI : 10.1007/BFb0023729
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. ,
Distributed Dynamic Partial Order Reduction Based Verification of Threaded Software, SPIN, pp.58-75, 2007. ,
DOI : 10.1007/978-3-540-73370-6_6
Efficient Stateful Dynamic Partial Order Reduction, SPIN, pp.288-305, 2008. ,
DOI : 10.1007/978-3-540-85114-1_20
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.184.1449
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. ,
DOI : 10.1007/3-540-48153-2_6
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.122.9499