Author of the publication

Verified Quadratic Virtual Substitution for Real Arithmetic.

, , , and . FM, volume 13047 of Lecture Notes in Computer Science, page 200-217. Springer, (2021)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Pegasus: A Framework for Sound Continuous Invariant Generation., , , , and . FM, volume 11800 of Lecture Notes in Computer Science, page 138-157. Springer, (2019)On Algorithms to Calculate Integer Complexity., , , , , , , and . Integers, (2019)Verified Quadratic Virtual Substitution for Real Arithmetic., , , and . FM, volume 13047 of Lecture Notes in Computer Science, page 200-217. Springer, (2021)Pegasus: Sound Continuous Invariant Generation., , , , and . CoRR, (2020)Pegasus: sound continuous invariant generation., , , , and . Formal Methods Syst. Des., 58 (1-2): 5-41 (2021)A First Complete Algorithm for Real Quantifier Elimination in Isabelle/HOL., , and . Arch. Formal Proofs, (2022)The BKR Decision Procedure for Univariate Real Arithmetic., , and . Arch. Formal Proofs, (2021)Towards Physical Hybrid Systems., and . CADE, volume 11716 of Lecture Notes in Computer Science, page 216-232. Springer, (2019)A Verified Decision Procedure for Univariate Real Arithmetic with the BKR Algorithm., , and . ITP, volume 193 of LIPIcs, page 14:1-14:20. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2021)