Skip to main content

Symbol Elimination in Reliable System Engineering

Searching for OpenAIRE data...

Publications

Interactive Visualization of Saturation Attempts in Vampire

Author(s): Bernhard Gleiss, Laura Kovács, Lena Schnedlitz
Published in: Integrated Formal Methods - 15th International Conference, IFM 2019, Bergen, Norway, December 2–6, 2019, Proceedings, Issue 11918, 2019, Page(s) 504-513
DOI: 10.1007/978-3-030-34968-4_28

Induction with Generalization in Superposition Reasoning

Author(s): Márton Hajdú, Petra Hozzová, Laura Kovács, Johannes Schoisswohl, Andrei Voronkov
Published in: Intelligent Computer Mathematics - 13th International Conference, CICM 2020, Bertinoro, Italy, July 26–31, 2020, Proceedings, Issue 12236, 2020, Page(s) 123-137
DOI: 10.1007/978-3-030-53518-6_8

Subsumption Demodulation in First-Order Theorem Proving

Author(s): Bernhard Gleiss, Laura Kovács, Jakob Rath
Published in: Automated Reasoning - 10th International Joint Conference, IJCAR 2020, Paris, France, July 1–4, 2020, Proceedings, Part I, Issue 12166, 2020, Page(s) 297-315
DOI: 10.1007/978-3-030-51074-9_17

Algebra-Based Synthesis of Loops and Their Invariants (Invited Paper)

Author(s): Andreas Humenberger, Laura Kovács
Published in: Verification, Model Checking, and Abstract Interpretation - 22nd International Conference, VMCAI 2021, Copenhagen, Denmark, January 17–19, 2021, Proceedings, Issue 12597, 2021, Page(s) 17-28
DOI: 10.1007/978-3-030-67067-2_2

Layered Clause Selection for Theory Reasoning - (Short Paper)

Author(s): Bernhard Gleiss, Martin Suda
Published in: Automated Reasoning - 10th International Joint Conference, IJCAR 2020, Paris, France, July 1–4, 2020, Proceedings, Part I, Issue 12166, 2020, Page(s) 402-409
DOI: 10.1007/978-3-030-51074-9_23

Formalizing Graph Trail Properties in Isabelle/HOL

Author(s): Laura Kovács, Hanna Lachnitt, Stefan Szeider
Published in: Intelligent Computer Mathematics - 13th International Conference, CICM 2020, Bertinoro, Italy, July 26–31, 2020, Proceedings, Issue 12236, 2020, Page(s) 190-205
DOI: 10.1007/978-3-030-53518-6_12

Algebra-Based Loop Synthesis

Author(s): Andreas Humenberger, Nikolaj Bjørner, Laura Kovács
Published in: Integrated Formal Methods - 16th International Conference, IFM 2020, Lugano, Switzerland, November 16–20, 2020, Proceedings, Issue 12546, 2020, Page(s) 440-459
DOI: 10.1007/978-3-030-63461-2_24

Verifying Relational Properties using Trace Logic

Author(s): Gilles Barthe, Renate Eilers, Pamina Georgiou, Bernhard Gleiss, Laura Kovacs, Matteo Maffei
Published in: 2019 Formal Methods in Computer Aided Design (FMCAD), 2019, Page(s) 170-178
DOI: 10.23919/fmcad.2019.8894277

Trace Logic for Inductive Loop Reasoning

Author(s): Georgiou, Pamina; Gleiss, Bernhard; Kovács, Laura
Published in: Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design – FMCAD 2020, 2020, Page(s) 255-263
DOI: 10.34727/2020/isbn.978-3-85448-042-6_33

Layered Clause Selection for Saturation-Based Theorem Proving

Author(s): Bernhard Gleiss, Martin Suda
Published in: Joint Proceedings of the 7th Workshop on Practical Aspects of Automated Reasoning (PAAR) and the 5th Satisfiability Checking and Symbolic Computation Workshop (SC-Square) Workshop, Issue CEUR Workshop Proceedings, volume 2752, 2020, Page(s) 34-52

First-Order Reasoning with Aggregates

Author(s): Sophie Rain
Published in: Master thesis, 2020

Formalizing Graph Trail Properties

Author(s): Hanna Lachnitt
Published in: Master thesis, 2020