, The SLAM project: Debugging System Software via Static Analysis. SIGPLAN Not, 2002.
Checking properties of nets using transformation, Advances in Petri Nets 1985, Covers the 6th European Workshop on Applications and Theory in Petri Nets-selected Papers, pp.19-40, 1986. ,
Modular verification of software components in c, IEEE Trans. Software Eng, vol.30, issue.6, pp.388-402, 2004. ,
Model Checking and Abstraction, ACM Trans. Program. Lang. Syst, vol.16, issue.5, pp.1512-1542, 1994. ,
Orna Grumberg, and Doron A. Peled. Model Checking, 1999. ,
Frama-C: A Software Analysis Perspective, Proceedings of the 10th international conference on Software Engineering and Formal Methods, SEFM'12, pp.233-247, 2012. ,
Cooperating sequential processes, Programming Languages: NATO Advanced Study Institute, pp.43-112, 1968. ,
On-the-fly verification of finite transition systems, Formal Methods in System Design, vol.1, issue.2-3, pp.251-273, 1992. ,
URL : https://hal.archives-ouvertes.fr/inria-00074812
Model Checking for Programming Languages using VeriSoft, Proceeedings of the 24th ACM Symposium on Principles of Programming Languages, pp.174-186, 1997. ,
Propositional Temporal Logics and Equivalences, Lecture Notes in Computer Science, vol.92, pp.222-236, 1992. ,
Construction of Abstract State Graphs with PVS, Proceedings of the 9th International Conference on Computer Aided Verification, CAV '97, pp.72-83, 1997. ,
URL : https://hal.archives-ouvertes.fr/hal-01974178
New Efficient Petri Nets Reductions for Parallel Programs Verification, Parallel Processing Letters, vol.16, issue.1, pp.101-116, 2006. ,
URL : https://hal.archives-ouvertes.fr/hal-01125149
Software Verification with BLAST, pp.235-239, 2003. ,
The Model Checker SPIN, IEEE Trans. Software Eng, vol.23, issue.5, pp.279-295, 1997. ,
The Temporal Logic of Actions, ACM Trans. Program. Lang. Syst, vol.16, issue.3, pp.872-923, 1994. ,
Specifying Systems, The TLA+ Language and Tools for Hardware and Software Engineers, 2002. ,
Method and Tools for MixedCriticality Real-Time Applications within PharOS, Proceedings of AMICS 2011: 1st International Workshop on Architectures and Applications for Mixed-Criticality Systems, 2011. ,
The Temporal Logic of Reactive and Concurrent Systems, 1992. ,
Specifying and Verifying Concurrent C Programs with TLA+, Formal Techniques for Safety-Critical Systems, vol.476, pp.206-222, 2015. ,
URL : https://hal.archives-ouvertes.fr/hal-01242954
Issues in Slicing PROMELA and its Applications to Model Checking, Protocol Understanding, and Simulation, International Journal on Software Tools for Technology Transfer, vol.2, issue.4, pp.343-349, 2000. ,
CIL: Intermediate Language and Tools for Analysis and Transformation of C Programs, International Conference on Compiler Construction, pp.213-228, 2002. ,
, Concurrent Programming: Algorithms, Principles, and Foundations, 2013.
URL : https://hal.archives-ouvertes.fr/hal-00922217
Modern Operating Systems, 2007. ,
A Survey of Program Slicing Techniques, Journal of Programming Languages, vol.3, pp.121-189, 1995. ,
Stubborn Sets for Reduced State Space Generation, Proceedings of the Tenth International Conference on Application and Theory of Petri Nets, pp.1-22, 1989. ,
, Model Checking Programs. Automated Software Engg, vol.10, issue.2, pp.203-232, 2003.
Automatic Program Repair with Evolutionary Computation, Commun. ACM, vol.53, issue.5, pp.109-116, 2010. ,
Program Slicing, Proceedings of the 5th International Conference on Software Engineering, ICSE '81, pp.439-449, 1981. ,