C. Barrett, A. Stump, C. Tinelli, S. Boehme, D. Cok et al., The SMT-LIB, 2010.

J. Bendík, E. Ghassabani, M. Whalen, and I. ?erná, Online Enumeration of All Minimal Inductive Validity Cores, Software Engineering and Formal Methods, pp.189-204, 2018.

J. Bendík, I. ?erná, and N. Bene?, Recursive Online Enumeration of All Minimal Unsatisfiable Subsets, pp.143-159, 2018.

R. Berryhill, Chasing Minimal Inductive Validity Cores in Hardware Model Checking, 2019.

A. R. Bradley and Z. Manna, Property-directed incremental invariant generation. Formal, Aspects of Computing, vol.20, pp.379-405, 2008.

P. Caspi, D. Pilaud, N. Halbwachs, and J. A. Plaice, LUSTRE: A Declarative Language for Real-time Programming, POPL '87, pp.178-188, 1987.

H. Chockler, O. Kupferman, R. P. Kurshan, and M. Y. Vardi, A Practical Approach to Coverage in Model Checking, Computer Aided Verification, pp.66-78, 2001.

A. Cimatti, A. Griggio, S. Mover, and S. Tonetta, IC3 Modulo Theories via Implicit Predicate Abstraction, 2013.

K. Claessen, A Coverage Analysis for Safety Property Lists, Formal Methods in Computer Aided Design (FMCAD'07), pp.139-145, 2007.

N. Een, A. Mishchenko, and R. Brayton, Efficient Implementation of Property Directed Reachability, FMCAD ', vol.11, pp.125-134, 2011.

A. Gacek, J. Backes, M. Whalen, L. Wagner, and E. Ghassabani, The JKind Model Checker, Computer Aided Verification, pp.20-27, 2018.

E. Ghassabani, M. Whalen, A. Gacek, and M. Heimdahl, Inductive Validity Cores, IEEE Transactions on Software Engineering, pp.1-1, 2019.

E. Ghassabani, A. Gacek, and M. W. Whalen, 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.

E. Ghassabani, A. Gacek, M. W. Whalen, M. P. Heimdahl, and L. Wagner, Proofbased Coverage Metrics for Formal Verification, Proceedings of the 32Nd IEEE/ACM International Conference on Automated Software Engineering, pp.194-199, 2017.

E. Ghassabani, M. Whalen, and A. Gacek, 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.

D. Große, U. Kühne, and R. Drechsler, Estimating Functional Coverage in Bounded Model Checking, Proceedings of the Conference on Design, Automation and Test in Europe, pp.1176-1181, 2007.

D. Hardin, T. D. Hiratzka, D. R. Johnson, L. Wagner, and M. Whalen, 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.

T. Kahsai, P. L. Garoche, C. Tinelli, and M. Whalen, 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.

S. P. Miller, M. W. Whalen, and D. D. Cofer, Software Model Checking Takes off. Commun, ACM, vol.53, issue.2, pp.58-64, 2010.

A. Murugesan, M. W. Whalen, E. Ghassabani, and M. P. Heimdahl, Complete traceability for requirements in satisfaction arguments, 2016 IEEE 24th International Requirements Engineering Conference (RE), pp.359-364

R. Do-178c, Software Considerations in Airborne Systems and Equipment Certification, 2011.

J. Rushby, Software Verification and System Assurance, Seventh IEEE International Conference on Software Engineering and Formal Methods, pp.3-10, 2009.

S. Das, A. Banerjee, P. Basu, P. Dasgupta, P. P. Chakrabarti et al., 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.

M. Sheeran, S. Singh, and G. Stålmarck, Checking Safety Properties Using Induction and a SAT-Solver, pp.127-144, 2000.

V. Todorov, S. Taha, F. Boulanger, and A. Hernandez, 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