, MEC : a system for constructing and analysing transition systems, Proceedings of the 1st Workshop on Automatic Verification Methods for Finite State Systems, pp.117-132, 1989.
DOI : 10.1007/3-540-52148-8_11
, Partial ? -Confluence for Efficient State Space Generation, Centrum voor Wiskunde en Informatica, 2001.
, State Space Reduction by Proving Confluence, Computer Aided Verification, 2002.
DOI : 10.1007/3-540-45657-0_50
, The Fc2Tools set: a Toolset for the Verification of Concurrent Systems, Proceedings of the 8th Conference on Computer-Aided Verification volume 1102 of Lecture Notes in Computer Science, 1996.
, A Theory of Communicating Sequential Processes, Journal of the ACM, vol.31, issue.3, pp.560-599, 1984.
DOI : 10.1145/828.833
, Enhancing Compositional Reachability Analysis with Context Constraints, Proceedings of the 1st ACM SIGSOFT International Symposium on the Foundations of Software Engineering, pp.115-125, 1993.
DOI : 10.1145/256428.167071
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.41.6843
, ALDEBARAN : un système de vérification par réduction de processus communicants, Thèse de Doctorat, 1988.
, On the Fly " Verification of Finite Transition Systems, Formal Methods in System Design, 1992.
URL : https://hal.archives-ouvertes.fr/inria-00074812
, Verifying Bisimulations On the Fly, Proceedings of the 3rd International Conference on Formal Description Techniques FORTE'90, 1990.
, OPEN/C??SAR: An open software architecture for verification, simulation, and testing, Proceedings of the First International Conference on Tools and Algorithms for the Construction and Analysis of Systems TACAS'98, pp.68-84, 1998.
DOI : 10.1007/BFb0054165
, SVL: A Scripting Language for Compositional Verification, Proceedings of the 21st IFIP WG 6
DOI : 10.1007/0-306-47003-9_24
URL : https://hal.archives-ouvertes.fr/inria-00072396
, CADP??2006: A Toolbox for the Construction and Analysis of Distributed Processes, Proceedings of the 19th International Conference on Computer Aided Verification CAV'2007, pp.158-163, 2007.
DOI : 10.1007/978-3-540-73368-3_18
URL : https://hal.archives-ouvertes.fr/inria-00189021
, DISTRIBUTOR and BCG_MERGE: Tools for Distributed Explicit State Space Generation, Proceedings of the 12th International Conference on Tools and Algorithms for the Construction and Analysis of Systems TACAS'2006, pp.445-449, 2006.
DOI : 10.1007/3-540-44612-5_34
, Model Checking for Concurrent Software Architectures, 1999.
, Using partial orders to improve automatic verification methods, Proceedings of the 2nd Workshop on Computer-Aided Verification, pp.321-340, 1990.
DOI : 10.1007/BFb0023731
, Compositional minimisation of finite state systems using interface specifications, Formal Aspects of Computing, vol.17, issue.5, pp.607-616, 1996.
DOI : 10.1007/BF01211911
, The Syntax and Semantics of µCRL, Algebra of Communicating Processes'94, Workshops in Computing Series, pp.26-62
, State Space Reduction Using Partial ??-Confluence, Mogens Nielsen and Branislav Rovan Proceedings of the 25th International Symposium on Mathematical Foundations of Computer Science MFCS'2000, pp.383-393, 2000.
DOI : 10.1007/3-540-44612-5_34
URL : http://library.tue.nl/csp/dare/LinkToRepository.csp?recordnumber=660478
, Confluence for process verification, Theoretical Computer Science, vol.170, issue.1-2, pp.47-81, 1996.
DOI : 10.1016/S0304-3975(96)80702-X
, On-the-fly model checking, ACM Computing Surveys, vol.28, issue.4es, 1996.
DOI : 10.1145/242224.242379
, LOTOS ? A Formal Description Technique Based on the Temporal Ordering of Observational Behaviour, International Organization for Standardization ? Information Processing Systems ? Open Systems Interconnection, 1989.
, Enhancements to LOTOS (E-LOTOS) International Standard 15437, International Organization for Standardization ? Information Technology, 2001.
, Compositional State Space Generation from LOTOS Programs Tools and Algorithms for the Construction and Analysis of Systems, Proceedings of TACAS'97, 1997.
, Exp.Open 2.0: A Flexible Tool Integrating Partial Order, Compositional, and On-The-Fly Verification Methods, Proceedings of the 5th International Conference on Integrated Formal Methods IFM'2005, pp.70-88, 2005.
DOI : 10.1007/11589976_6
URL : https://hal.archives-ouvertes.fr/inria-00070339
, Winston: A Tool for Hierarchical Design and Simulation of Concurrent Systems, Proceedings of the BCS-FACS Workshop on Specification and Verification of Concurrent Systems, pp.140-152, 1988.
DOI : 10.1007/978-1-4471-3534-0_7
, A Generic On-the-Fly Solver for Alternation-Free Boolean Equation Systems, Proceedings of the 9th International Conference on Tools and Algorithms for the Construction and Analysis of Systems TACAS'2003, pp.81-96, 2003.
DOI : 10.1007/3-540-36577-X_7
URL : https://hal.archives-ouvertes.fr/inria-00071875
, CAESAR_SOLVE: A generic library for on-the-fly resolution of alternation-free Boolean equation systems, International Journal on Software Tools for Technology Transfer, vol.8, issue.1, pp.37-56, 2006.
DOI : 10.1007/s10009-005-0194-9
URL : https://hal.archives-ouvertes.fr/inria-00084628
, Efficient on-the-fly model-checking for regular alternation-free mu-calculus, Science of Computer Programming, vol.46, issue.3, pp.255-281, 2003.
DOI : 10.1016/S0167-6423(02)00094-1
URL : https://hal.archives-ouvertes.fr/inria-00072755
, Communication and Concurrency, 1989.
, An Efficient Partial Order Reduction Algorithm with an Alternative Proviso Implementation. Formal Methods in System Design, 2002.
, Calculating ??-Confluence Compositionally, Proceedings of the 15th International Conference on Computer Aided Verification CAV'2003, pp.446-459, 2003.
DOI : 10.1007/978-3-540-45069-6_41
URL : https://hal.archives-ouvertes.fr/inria-00071661
, Combining partial order reduction with on-the-fly modelchecking, Computer Aided Verification, 1994.
, Partial-order reduction in the weak modal mu-calculus, Proceedings of the 8th International Conference on Concurrency Theory CON- CUR'97, pp.5-24
DOI : 10.1007/3-540-63141-0_2
, Hierarchical compression for model-checking CSP or how to check 10 20 dining philosophers for deadlock, Tools and Algorithms for the Construction and Analysis of Systems (TACAS), 1995.
, The Theory and Practice of Concurrency, 1998.
, Hierarchy-Based Incremental Reachability Analysis of Communication Protocols, Proceedings of the IEEE International Conference on Network Protocols, pp.318-325, 1993.
, A Stubborn Attack on State Explosion, Proceedings of the 2nd Workshop on Computer-Aided Verification of DIMACS Series in Discrete Mathematics and Theoretical Computer Science, pp.25-42
, Stubborn Set Methods for Process Algebras In Workshop on Partial Order Methods in Verification, DIMACS Series in Discrete Mathematics and Theoretical Computer Science, vol.29, 1997.
, Compositional state space generation, Proceedings of Advances in Petri Nets, pp.427-457, 1993.
DOI : 10.1007/3-540-56689-9_54
, Branching-Time and Abstraction in Bisimulation Semantics (extended abstract). CS R8911, Centrum voor Wiskunde en Informatica, Also in proc. IFIP 11th World Computer Congress, 1989.
, Controlling State Explosion in Reachability Analysis, 1993.
, Weak confluence and ??-inertness, Theoretical Computer Science, vol.238, issue.1-2, pp.465-475, 2000.
DOI : 10.1016/S0304-3975(99)00084-5
URL : http://doi.org/10.1016/s0304-3975(99)00084-5
, 4, rue Jacques Monod -Bât. G -91893 Orsay Cedex (France) Centre de recherche INRIA Nancy ? Grand Est : 615, rue du Jardin Botanique -54600 Villers-lès-Nancy (France) Centre de recherche INRIA Rennes ? Bretagne Atlantique : Campus universitaire de Beaulieu -35042 Rennes Cedex (France) Centre de recherche INRIA Paris ? Rocquencourt : Domaine de Voluceau -Rocquencourt -BP 105 -78153 Le Chesnay Cedex (France) Centre de recherche, 2004.