The B-Book: Assigning programs to meanings, 1996. ,
DOI : 10.1017/CBO9780511624162
Refinement, decomposition and instantiation of discrete models: Application to Event-B. Fundamenta Informaticae, pp.1-28, 2007. ,
Alternating refinement relations, CONCUR'98, pp.163-178, 1998. ,
DOI : 10.1007/BFb0055622
Satisfiability Modulo Theories, Frontiers in Artificial Intelligence and Applications, vol.185, issue.26, pp.825-885, 2009. ,
URL : https://hal.archives-ouvertes.fr/hal-01095009
Testing Transition Systems: An Annotated Bibliography, MOVEP'2k, pp.187-193, 2001. ,
DOI : 10.1007/3-540-45510-8_9
Decomposition Structures for Event-B ,
DOI : 10.1016/0167-6423(93)90021-G
Game Models for Open Systems, Theory and Practice, pp.269-289, 2004. ,
DOI : 10.1007/978-3-540-39910-0_12
Interface automata, ESEC/FSE, pp.109-120, 2001. ,
Z3: An Efficient SMT Solver, Tools and Algorithms for the Construction and Analysis of SystemsTACAS'08), 2008. ,
DOI : 10.1007/978-3-540-78800-3_24
Lazy Theorem Proving for Bounded Model Checking over Infinite Domains, Proceedings of the 18th International Conference on Automated Deduction, pp.438-455, 2002. ,
DOI : 10.1007/3-540-45620-1_35
A Symbolic Framework for Model-Based Testing, number 4262 in LNCS, pp.40-54, 2006. ,
DOI : 10.1007/11940197_3
Test generation based on symbolic specifications, Proceedings of the Workshop on Formal Approaches to Software Testing, pp.3-17, 2004. ,
Model-based Software Testing and Analysis with C#, 2008. ,
DOI : 10.1017/CBO9780511619540
Formal verification of parallel programs, Communications of the ACM, vol.19, issue.7, pp.371-384, 1976. ,
DOI : 10.1145/360248.360251
Hierarchical correctness proofs for distributed algorithms, Proceedings of the sixth annual ACM Symposium on Principles of distributed computing , PODC '87, pp.137-151, 1987. ,
DOI : 10.1145/41840.41852
The Composition of Event-B Models, Int. Conference on ASM, B and Z (ABZ'08), pp.209-222, 2008. ,
DOI : 10.1007/978-3-540-87603-8_17
Model Based Testing with Labelled Transition Systems, LNCS, vol.4949, pp.1-38, 2008. ,
DOI : 10.1007/978-3-540-78917-8_1
Automatic testing with formal methods, Eu- roSTAR'99: 7th European Int. Conference on Software Testing EuroStar Conferences, 1999. ,
Compositional Testing with ioco, Formal Approaches to Software Testing: Third International Workshop, FATES 2003, pp.86-100, 2004. ,
DOI : 10.1007/978-3-540-24617-6_7
Input-Output Model Programs, ICTAC'09, pp.322-335, 2009. ,
DOI : 10.1007/978-3-642-03466-4_21
Alternating Simulation and IOCO, 2010. ,
URL : https://hal.archives-ouvertes.fr/hal-01055244
Symbolic bounded model checking of abstract state machines, Int J Software Informatics, vol.3, issue.23, pp.149-170, 2009. ,