, The SMT-LIB, 2010.
Online Enumeration of All Minimal Inductive Validity Cores, Software Engineering and Formal Methods, pp.189-204, 2018. ,
Recursive Online Enumeration of All Minimal Unsatisfiable Subsets, pp.143-159, 2018. ,
Chasing Minimal Inductive Validity Cores in Hardware Model Checking, 2019. ,
Property-directed incremental invariant generation. Formal, Aspects of Computing, vol.20, pp.379-405, 2008. ,
LUSTRE: A Declarative Language for Real-time Programming, POPL '87, pp.178-188, 1987. ,
A Practical Approach to Coverage in Model Checking, Computer Aided Verification, pp.66-78, 2001. ,
IC3 Modulo Theories via Implicit Predicate Abstraction, 2013. ,
A Coverage Analysis for Safety Property Lists, Formal Methods in Computer Aided Design (FMCAD'07), pp.139-145, 2007. ,
Efficient Implementation of Property Directed Reachability, FMCAD ', vol.11, pp.125-134, 2011. ,
The JKind Model Checker, Computer Aided Verification, pp.20-27, 2018. ,
Inductive Validity Cores, IEEE Transactions on Software Engineering, pp.1-1, 2019. ,
Efficient Generation of Inductive Validity Cores for Safety Properties, Proc. of the 2016 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering, pp.314-325, 2016. ,
Proofbased Coverage Metrics for Formal Verification, Proceedings of the 32Nd IEEE/ACM International Conference on Automated Software Engineering, pp.194-199, 2017. ,
Efficient Generation of All Minimal Inductive Validity Cores, Proceedings of the 17th Conference on Formal Methods in Computer-Aided Design, vol.17, pp.31-38, 2017. ,
Estimating Functional Coverage in Bounded Model Checking, Proceedings of the Conference on Design, Automation and Test in Europe, pp.1176-1181, 2007. ,
Development of Security Software: A High Assurance Methodology, Proceedings of the 11th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering, pp.266-285, 2009. ,
Incremental Verification with Mode Variable Invariants in State Machines, Proceedings of the 4th International Conference on NASA Formal Methods, vol.12, pp.388-402, 2012. ,
Software Model Checking Takes off. Commun, ACM, vol.53, issue.2, pp.58-64, 2010. ,
Complete traceability for requirements in satisfaction arguments, 2016 IEEE 24th International Requirements Engineering Conference (RE), pp.359-364 ,
, Software Considerations in Airborne Systems and Equipment Certification, 2011.
Software Verification and System Assurance, Seventh IEEE International Conference on Software Engineering and Formal Methods, pp.3-10, 2009. ,
Formal methods for analyzing the completeness of an assertion suite against a high-level fault model, 18th International Conference on VLSI Design held jointly with 4th International Conference on Embedded Systems Design, pp.201-206, 2005. ,
Checking Safety Properties Using Induction and a SAT-Solver, pp.127-144, 2000. ,
Improved invariant generation for industrial software model checking of time properties, Proceedings of the 19th IEEE International Conference on Software Quality, Reliability, and Security, pp.334-341, 2019. ,
URL : https://hal.archives-ouvertes.fr/hal-02322576