Browsing E322 - Institut für Strömungsmechanik und Wärmeübertragung

Showing results 1 to 17 of 17
PreviewAuthors / EditorsTitleTypeIssue Date
Humenberger Andreas - 2021 - Algebra-based Loop Reasoning - Invariant Generation...pdf.jpgHumenberger, Andreas Algebra-based loop reasoning - invariant generation and synthesis for numeric loopsThesis Hochschulschrift 2021
Schoisswohl Johannes - 2020 - Automated Induction by Reflection.pdf.jpgSchoisswohl, Johannes Automated induction by reflectionThesis Hochschulschrift 2020
Hochrainer Christoph - 2020 - Automated reasoning over Arrays in the...pdf.jpgHochrainer, Christoph Automated reasoning over Arrays in the superposition calculusThesis Hochschulschrift 2020
Gleiss Bernhard - 2020 - Automated Software Verification using...pdf.jpgGleiss, Bernhard Automated software verification using superposition-based theorem provingThesis Hochschulschrift 2020
Hajdu Marton - 2021 - Automating inductive reasoning with recursive functions.pdf.jpgHajdu, Marton Automating inductive reasoning with recursive functionsThesis Hochschulschrift 2021
Moosbrugger Marcel - 2020 - Automating termination analysis of probabilistic...pdf.jpgMoosbrugger, Marcel Automating termination analysis of probabilistic programsThesis Hochschulschrift 2020
Jucu Ioana - 2013 - An evaluation of symbol elimination for generating...pdf.jpgJucu, Ioana An evaluation of symbol elimination for generating first-order loop invariantsThesis Hochschulschrift 2013
Rain Sophie - 2020 - First-order reasoning with aggregates.pdf.jpgRain, Sophie First-order reasoning with aggregatesThesis Hochschulschrift 2020
Dragan Ioan-Dumitru - 2015 - First-order theorem proving for program analysis...pdf.jpgDragan, Ioan-Dumitru First-order theorem proving for program analysis and theory reasoningThesis Hochschulschrift 2015
Lachnitt Hanna Elif - 2020 - Formalizing graph trail properties.pdf.jpgLachnitt, Hanna Elif Formalizing graph trail propertiesThesis Hochschulschrift 2020
Hajdu - 2020 - Induction with generalization in superposition reasoning.pdf.jpgHajdú, Márton ; Hozzova, Petra ; Kovacs, Laura ; Schoisswohl, Johannes ; Voronkov, Andrei  Induction with Generalization in Superposition ReasoningInproceedings Konferenzbeitrag 26-Jul-2020
Gleiss Bernhard - 2016 - Interpolation and local proofs.pdf.jpgGleiss, Bernhard Interpolation and local proofsThesis Hochschulschrift 2016
Kovasznai, Gergely ; Gajdár, Krisztián ; Kovacs, Laura ; Hong, Hoon ; Negru, Viorel ; Petcu, Dana ; Zaharie, Daniela Portfolio SAT and SMT Solving of Cardinality Constraints in Sensor Network OptimizationInproceedings Konferenzbeitrag 15-Apr-2020
Kragl Bernhard - 2014 - Reasoning in first-order theories with extensionality.pdf.jpgKragl, Bernhard Reasoning in first-order theories with extensionalityThesis Hochschulschrift 2014
Rath Jakob - 2019 - Subsumption demodulation in first-order theorem proving.pdf.jpgRath, Jakob Subsumption demodulation in first-order theorem provingThesis Hochschulschrift 2019
Damestani, David ; Kovacs, Laura ; Suda, Martin ; Petcu, Dana ; Hong, Hoon ; Negru, Viorel ; Zaharie, Daniela Superposition Reasoning about Quantified Bitvector FormulasInproceedings Konferenzbeitrag 15-Apr-2020
33_Trace Logic for Inductive Loop Reasoning.pdf.jpgGeorgiou, Pamina ; Gleiss, Bernhard ; Kovacs, Laura ; Ivrii, Alexander ; Strichman, Ofer Trace Logic for Inductive Loop ReasoningInproceedings 2020