Funder
Horizon 2020 Framework Programme
H2020 Marie Skłodowska-Curie Actions
Engineering and Physical Sciences Research Council
Deutsche Forschungsgemeinschaft
Intel Corporation
Subject
General Computer Science,Theoretical Computer Science
Reference38 articles.
1. Formally verified roundoff errors using SMT-based certificates and subdivisions;Bard,2019
2. Assume–guarantee verification of nonlinear hybrid systems with Ariadne;Benvenuti;Int. J. Robust Nonlinear Control,2014
3. Conflict-driven satisfiability for theory combination: transition system and completeness;Bonacina;J. Autom. Reason.,2020
4. Topological properties of real number representations;Brattka;Theor. Comput. Sci.,2002
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. SMLP: Symbolic Machine Learning Prover;Lecture Notes in Computer Science;2024