Author:
Champion Adrien,Delmas Rémi,Dierkes Michael
Funder
Agence Nationale de la Recherche
Reference28 articles.
1. The Parma Polyhedra Library: toward a complete set of numerical abstractions for the analysis and verification of hardware and software systems;Bagnara;Sci. Comput. Program.,2008
2. The SMT-LIB standard: version 2.0;Barrett,2010
3. Linear quantifier elimination as an abstract decision procedure;Bjørner,2010
4. A static analyzer for large safety-critical software;Blanchet,2003
5. SAT-based model checking without unrolling;Bradley,2011
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Integrated formal verification of safety-critical software;International Journal on Software Tools for Technology Transfer;2017-10-06