H. R. Andersen, 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

G. Brat, K. Havelund, S. Park, and W. Visser, Java PathFinder -A second generation of a Java model checker, Proc. of AV'00

T. Ball, A. Podelski, and S. Rajamani, Boolean and Cartesian abstractions for model checking C programs, Proc. of TACAS'01, pp.268-283

E. M. Clarke, E. A. Emerson, and A. P. Sistla, 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

P. Cámara, M. M. Gallardo, and P. Merino, Abstract Matching for Software Model Checking, Proc. of SPIN'06, pp.182-200

P. Cámara, M. M. Gallardo, P. Merino, and D. Sanán, Model checking software with well-defined APIs: the socket case, Proc. of FMICS'05, pp.17-26

D. Dams, Abstraction in Software Model Checking: Principles and Practice (Tutorial Overview and Bibliography), Proc. of SPIN'02, pp.14-21

E. A. Emerson and C. Lei, Efficient Model Checking in Fragments of the Propositional Mu-Calculus, Proc. of LICS'86, pp.267-278

M. J. Fischer and R. E. Ladner, 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

H. Garavel, . Open, and . Caesar, 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

H. Garavel, F. Lang, and R. Mateescu, 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

M. M. Gallardo, J. Martinez, P. Merino, and E. Pimentel, ??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

M. M. Gallardo, P. Merino, and D. Sanán, Towards Model Checking C Code with OPEN/CAESAR, Proc. of MSVVEIS'06, pp.198-201

P. Godefroid, 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

J. F. Groote and T. A. Willemse, 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

J. Hatcliff, M. Dwyer, C. Pasareanu, and R. , Foundations of the Bandera Abstraction Tools, The Essence of Comp., LNCS, pp.172-203, 2003.
DOI : 10.1007/3-540-36377-7_9

G. J. Holzmann and R. Joshi, 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

G. J. Holzmann and M. H. Smith, 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

C. Joubert and R. Mateescu, 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

D. Kozen, Results on the Propositional ??-Calculus, DAIMI Report Series, vol.11, issue.146, pp.333-354, 1983.
DOI : 10.7146/dpb.v11i146.7420

A. Lamprecht, T. Margaria, and B. Steffen, Data-Flow Analysis as Model Checking Within the jABC, Proc. of CC'06, pp.101-104
DOI : 10.1007/11688839_9

A. Mader, Verification of Modal Properties Using Boolean Equation Systems, 1997.

R. Mateescu, Local Model-Checking of an Alternation-Free Value-Based Modal Mu-Calculus, Proc. of VMCAI'98, 1998.

R. Mateescu, . Caesar, and . Solve, 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

R. , D. Nicola, and F. W. Vaandrager, 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

C. S. Pasareanu, R. Pelánek, and W. Visser, Concrete Model Checking with Abstract Matching and Refinement, Proc of CAV'05, pp.52-66
DOI : 10.1007/11513988_7

D. A. Schmidt, 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

D. Schmidt and B. Steffen, Program Analysis as Model Checking of Abstract Interpretations, Proc. of SAS'98, pp.351-380
DOI : 10.1007/3-540-49727-7_22

B. Steffen, Data Flow Analysis as Model Checking, Proc. of TACS'91, pp.346-365