Model checking and boolean graphs, Theoretical Computer Science, vol.126, issue.1, pp.3-30, 1994. ,
DOI : 10.1016/0304-3975(94)90266-6
Partial model checking, Proceedings of Tenth Annual IEEE Symposium on Logic in Computer Science, 1995. ,
DOI : 10.1109/LICS.1995.523274
Partial model checking of modal equations: A survey, International Journal on Software Tools for Technology Transfer (STTT), pp.242-259, 1999. ,
DOI : 10.1007/s100090050032
A comparison of modular verification techniques, Proceedings of the 7th International Joint Conference CAAP/FASE, 1997. ,
DOI : 10.1007/BFb0030625
Partial model checking with ROBDDs, Proceedings of the 3rd International Workshop on Tools and Algorithms for Construction and Analysis of Systems TACAS, volume 1217 of Lecture Notes in Computer Science, 1997. ,
DOI : 10.1007/BFb0035379
MEC : a system for constructing and analysing transition systems, Proceedings of the 1st Workshop on Automatic Verification Methods for Finite State Systems, 1989. ,
DOI : 10.1007/3-540-52148-8_11
Compositional Analysis for Verification of Parameterized Systems, Proceedings of the 9th International Conference on Tools and Algorithms for the Construction and Analysis of Systems TACAS, volume 2619 of Lecture Notes in Computer Science, 2003. ,
Verification compositionnelle des p-automates, 2003. ,
Verification of State/Event Systems by Quotienting, BRICS Report Series, vol.6, issue.41, 1999. ,
DOI : 10.7146/brics.v6i41.20111
The Fc2Tools set: a Toolset for the Verification of Concurrent Systems, Proceedings of the 8th Conference on Computer-Aided Verification, 1996. ,
Model-Checking for Hybrid Systems by Quotienting and Constraints Solving, Proceedings of the 12th International Conference on Computer Aided Verification CAV, 2000. ,
DOI : 10.1007/10722167_29
Model Checking, 2000. ,
A Linear-Time Model-Checking Algorithm for the Alternation-Free Modal Mu-Calculus, Formal Methods in System Design, pp.121-147, 1993. ,
Smart Reduction, Proceedings of Fundamental Approaches to Software Engineering FASE'2011, 2011. ,
DOI : 10.1007/978-3-642-19811-3_9
URL : https://hal.archives-ouvertes.fr/inria-00572535
Efficient Model Checking in Fragments of the Propositional Mu-Calculus, Proceedings of the 1st LICS, 1986. ,
???On the fly??? verification of behavioural equivalences and preorders, Proceedings of the 3rd Workshop on Computer-Aided Verification, 1991. ,
DOI : 10.1007/3-540-55179-4_18
Propositional dynamic logic of regular programs, Journal of Computer and System Sciences, vol.18, issue.2, pp.194-211, 1979. ,
DOI : 10.1016/0022-0000(79)90046-1
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, 1998. ,
URL : https://hal.archives-ouvertes.fr/inria-00073337
On Combining Functional Verification and Performance Evaluation Using CADP, Proceedings of the 11th International Symposium of Formal Methods Europe FME'2002, 2002. ,
DOI : 10.1007/3-540-45614-7_23
URL : https://hal.archives-ouvertes.fr/inria-00072096
SVL: A Scripting Language for Compositional Verification, Proceedings of the 21st IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems FORTE'2001. IFIP, 2001. ,
DOI : 10.1007/0-306-47003-9_24
URL : https://hal.archives-ouvertes.fr/inria-00072396
CADP 2010: A Toolbox for the Construction and Analysis of Distributed Processes, Proceedings of the 17th International Conference on Tools and Algorithms for the Construction and Analysis of Systems TACAS'2011, 2011. ,
DOI : 10.1007/BFb0054166
URL : https://hal.archives-ouvertes.fr/inria-00583776
CADP 2011: a toolbox for the construction and analysis of distributed processes, International Journal on Software Tools for Technology Transfer, vol.1, issue.1/2, pp.89-107, 2013. ,
DOI : 10.1007/s10009-012-0244-z
URL : https://hal.archives-ouvertes.fr/hal-00715056
A Graphical Parallel Composition Operator for Process Algebras, Proceedings of the Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols, and Protocol Specification, Testing, and Verification FORTE/PSTV'99. IFIP, 1999. ,
DOI : 10.1007/978-0-387-35578-8_11
Verification of GALS Systems by Combining Synchronous Languages and Process Calculi, Model Checking Software, Proceedings of the 16th International SPIN Workshop on Model Checking of Software SPIN'2009, 2009. ,
DOI : 10.1007/978-3-540-27813-9_47
URL : https://hal.archives-ouvertes.fr/inria-00388819
Compositional minimization of finite state systems, Proceedings of the 2nd Workshop on Computer-Aided Verification, 1990. ,
DOI : 10.1007/BFb0023732
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. ,
Results on the Propositional ??-Calculus, DAIMI Report Series, vol.11, issue.146, pp.333-354, 1983. ,
DOI : 10.7146/dpb.v11i146.7420
Compositional state space generation from Lotos programs, Proceedings of TACAS'97 Tools and Algorithms for the Construction and Analysis of Systems, 1997. ,
DOI : 10.1007/BFb0035392
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, 2005. ,
URL : https://hal.archives-ouvertes.fr/inria-00070339
Refined Interfaces for Compositional Verification, Proceedings of the 26th IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems FORTE'2006, 2006. ,
DOI : 10.1007/3-540-56689-9_54
URL : https://hal.archives-ouvertes.fr/inria-00106312
Partial Order Reductions Using Compositional Confluence Detection, Lecture Notes in Computer Science, vol.5850, 2009. ,
DOI : 10.1007/978-3-642-05089-3_11
URL : https://hal.archives-ouvertes.fr/inria-00423583
Partial Model Checking Using Networks of Labelled Transition Systems and Boolean Equation Systems, Proceedings of the 18th International Conference on Tools and Algorithms for the Construction and Analysis of Systems TACAS, 2012. ,
DOI : 10.1007/978-3-642-28756-5_11
URL : https://hal.archives-ouvertes.fr/hal-00684471
Translating FSP into LOTOS and networks of automata, Formal Aspects of Computing, vol.1, issue.2, pp.681-711, 2010. ,
DOI : 10.1007/s00165-009-0133-8
URL : https://hal.archives-ouvertes.fr/hal-00533808
Compositional Model Checking of Real Time Systems, Proceedings of the 6th International Conference on Concurrency Theory CONCUR, 1995. ,
CMC: A Tool for Compositional Model-Checking of Real-Time Systems, Proceedings of the IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols and Protocol Specification, Testing and Verification FORTE/PSTV IFIP Conference Proceedings. Kluwer, 1998. ,
DOI : 10.1007/978-0-387-35394-4_27
Compositional and Symbolic Model Checking of Real-Time Systems, Proceedings of the 16th IEEE Real-Time Systems Symposium, 1995. ,
Concurrency: State Models and Java Programs, 2006. ,
Symbolic Partial Model Checking for Security Analysis, Proceedings of the 2nd International Workshop on Mathematical Methods, Models, and Architectures for Computer Network Security MMM-ACNS, volume 2776 of Lecture Notes in Computer Science, 2003. ,
DOI : 10.1007/978-3-540-45215-7_10
Efficient Diagnostic Generation for Boolean Equation Systems, Proceedings of 6th International Conference on Tools and Algorithms for the Construction and Analysis of Systems TACAS'2000, 2000. ,
DOI : 10.1007/3-540-46419-0_18
URL : https://hal.archives-ouvertes.fr/inria-00072795
On-the-fly state space reductions for weak equivalences, Proceedings of the 10th international workshop on Formal methods for industrial critical systems , FMICS '05, 2005. ,
DOI : 10.1145/1081180.1081191
CAESAR_SOLVE: A generic library for on-the-fly resolution of alternation-free Boolean equation systems, International Journal on Software Tools for Technology Transfer (STTT), pp.37-56, 2006. ,
DOI : 10.1007/s10009-005-0194-9
URL : https://hal.archives-ouvertes.fr/inria-00084628
Translating Pi-Calculus into LOTOS NT, Proceedings of the 8th International Conference on Integrated Formal Methods IFM'2010, 2010. ,
DOI : 10.1007/s10009-003-0136-3
URL : https://hal.archives-ouvertes.fr/inria-00524586
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
A Model Checking Language for Concurrent Value-Passing Systems, Proceedings of the 15th International Symposium on Formal Methods FM'08, number 5014 in Lecture Notes in Computer Science, 2008. ,
DOI : 10.1007/978-3-540-68237-0_12
URL : https://hal.archives-ouvertes.fr/inria-00315312
Calculating ??-Confluence Compositionally, Proceedings of the 15th International Conference on Computer Aided Verification CAV'2003, 2003. ,
DOI : 10.1007/978-3-540-45069-6_41
URL : https://hal.archives-ouvertes.fr/inria-00071661
Fairness and related properties in transition systems ? a temporal logic to deal with fairness, Acta Informatica, vol.19, issue.3, pp.195-220, 1983. ,
DOI : 10.1007/BF00265555
Propositional Dynamic Logic of looping and converse, Proceedings of the thirteenth annual ACM symposium on Theory of computing , STOC '81, pp.121-141, 1982. ,
DOI : 10.1145/800076.802492
A Translation from Full Branching Time Temporal Logic to One Letter Propositional Dynamic Logic with Looping, 1982. ,