Author:Petra Hozzová

Publications
Overapproximation of Non-Linear Integer Arithmetic for Smart Contract Verification Petra Hozzová, Jaroslav Bendík, Alexander Nutz and Yoav Rodeh In:Proceedings of 24th International Conference on Logic for Programming, Artificial Intelligence and Reasoning
Program Synthesis in Saturation Petra Hozzová, Laura Kovács, Chase Norman and Andrei Voronkov EasyChair Preprint no. 10223
Towards Synthesis in Superposition Petra Hozzová, Laura Kovács and Andrei Voronkov EasyChair Preprint no. 8182
Induction with Recursive Definitions in Superposition Márton Hajdu, Petra Hozzová, Laura Kovács and Andrei Voronkov EasyChair Preprint no. 6513
Inductive Benchmarks for Automated Reasoning Márton Hajdu, Petra Hozzová, Laura Kovács, Johannes Schoisswohl and Andrei Voronkov EasyChair Preprint no. 5531
Integer Induction in Saturation Petra Hozzová, Laura Kovács and Andrei Voronkov EasyChair Preprint no. 5176
Induction with Generalization in Superposition Reasoning Márton Hajdu, Petra Hozzová, Laura Kovács, Johannes Schoisswohl and Andrei Voronkov EasyChair Preprint no. 2468

Keyphrases

automated deduction, automated reasoning⁴, AVATAR architecture, first-order theorem proving³, formal verification, induction³, induction with generalization, inductive benchmarks, Inductive data types, integer induction, integers, Linear Integer Arithmetic, non-linear integer arithmetic, non-linear real arithmetic, program synthesis², saturation², saturation based proof search², saturation-based theorem proving, smart contracts, SMT solving, structural induction², superposition, superposition reasoning³, superposition theorem prover, term algebra², theorem proving², Vampire².