Model checking and boolean graphs, Theoretical Computer Science, vol.126, issue.1, pp.3-30, 1994. ,
DOI : 10.1016/0304-3975(94)90266-6
URL : http://dx.doi.org/10.1016/0304-3975(94)90266-6
Java PathFinder -A second generation of a Java model checker, Proc. of AV'00 ,
Boolean and Cartesian abstractions for model checking C programs, Proc. of TACAS'01, pp.268-283 ,
Automatic verification of finite-state concurrent systems using temporal logic specifications, ACM Transactions on Programming Languages and Systems, vol.8, issue.2, pp.244-263, 1986. ,
DOI : 10.1145/5397.5399
Abstract Matching for Software Model Checking, Proc. of SPIN'06, pp.182-200 ,
Model checking software with well-defined APIs: the socket case, Proc. of FMICS'05, pp.17-26 ,
Abstraction in Software Model Checking: Principles and Practice (Tutorial Overview and Bibliography), Proc. of SPIN'02, pp.14-21 ,
Efficient Model Checking in Fragments of the Propositional Mu-Calculus, Proc. of LICS'86, pp.267-278 ,
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, Proc. of TACAS'98, pp.68-84 ,
DOI : 10.1007/bfb0054165
URL : https://hal.archives-ouvertes.fr/inria-00073337
An Overview of CADP, Europ. Assoc. for Soft. Sci. and Tech. (EASST) Newsletter, vol.4, pp.13-24, 2001. ,
URL : https://hal.archives-ouvertes.fr/inria-00069920
??SPIN: A tool for abstract model checking, International Journal on Software Tools for Technology Transfer, vol.6, issue.2-3, pp.165-184, 2004. ,
DOI : 10.1007/s100090050040
Towards Model Checking C Code with OPEN/CAESAR, Proc. of MSVVEIS'06, pp.198-201 ,
Software Model Checking: The VeriSoft Approach, Formal Methods in System Design, vol.3, issue.2, pp.77-101, 2005. ,
DOI : 10.1007/s10703-005-1489-x
Parameterised boolean equation systems, Theoretical Computer Science, vol.343, issue.3, pp.332-369, 2005. ,
DOI : 10.1016/j.tcs.2005.06.016
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.1.5518
Foundations of the Bandera Abstraction Tools, The Essence of Comp., LNCS, pp.172-203, 2003. ,
DOI : 10.1007/3-540-36377-7_9
Model-Driven Software Verification, Proc. of SPIN'04, pp.76-91 ,
DOI : 10.1007/978-3-540-24732-6_6
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.112.1504
Software model checking: extracting verification models from source code, Software Testing, Verification and Reliability, vol.5, issue.2, pp.65-79, 2001. ,
DOI : 10.1002/stvr.228
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.14.9854
Distributed On-the-Fly Model Checking and Test Case Generation, Proc. of SPIN'06, pp.126-145 ,
DOI : 10.1007/BFb0054166
URL : https://hal.archives-ouvertes.fr/inria-00071388
Results on the Propositional ??-Calculus, DAIMI Report Series, vol.11, issue.146, pp.333-354, 1983. ,
DOI : 10.7146/dpb.v11i146.7420
Data-Flow Analysis as Model Checking Within the jABC, Proc. of CC'06, pp.101-104 ,
DOI : 10.1007/11688839_9
Verification of Modal Properties Using Boolean Equation Systems, 1997. ,
Local Model-Checking of an Alternation-Free Value-Based Modal Mu-Calculus, Proc. of VMCAI'98, 1998. ,
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
Action versus State based Logics for Transition Systems, Sem. of Sys. of Concur. Proc., LNCS, pp.407-419, 1990. ,
DOI : 10.1007/3-540-53479-2_17
Concrete Model Checking with Abstract Matching and Refinement, Proc of CAV'05, pp.52-66 ,
DOI : 10.1007/11513988_7
Data flow analysis is model checking of abstract interpretations, Proceedings of the 25th ACM SIGPLAN-SIGACT symposium on Principles of programming languages , POPL '98, pp.38-48 ,
DOI : 10.1145/268946.268950
Program Analysis as Model Checking of Abstract Interpretations, Proc. of SAS'98, pp.351-380 ,
DOI : 10.1007/3-540-49727-7_22
Data Flow Analysis as Model Checking, Proc. of TACS'91, pp.346-365 ,