Laura Kovacs
Visar 40 publikationer
Subsumption Demodulation in First-Order Theorem Proving
Superposition Reasoning about Quantified Bitvector Formulas
Induction with generalization in superposition reasoning
Interactive Visualization of Saturation Attempts in Vampire
Foreword - Mathematics in Computer Science
Portfolio SAT and SMT Solving of Cardinality Constraints in Sensor Network Optimization
Automatic Generation of Moment-Based Invariants for Prob-Solvable Loops
Verifying relational properties using trace logic
Aligator.jl - A Julia Package for Loop Invariant Generation
Invariant Generation for Multi-Path Loops with Polynomial Assignments
Loop Analysis by Quantification over Iterations
A FOOLish Encoding of the Next State Relations of Imperative Programs
Coming to terms with quantified reasoning
Splitting proofs for interpolation
A supervisory control algorithm based on property-directed reachability
A Clausal Normal Form Translation for FOOL
Symbolic Computation and Automated Reasoning for Program Analysis
Theory-Specific Reasoning about Loops with Arrays using Vampire
A First Class Boolean Sort in First-Order Theorem Proving and TPTP
Special issue on symbolic computation in software science
Lingva: Generating and proving program properties using symbol elimination
Reasoning About Loops Using Vampire in KeY
Segment Abstraction for Worst-Case Execution Time Analysis
Symbol elimination for automated generation of program properties
Supervisory Control of Discrete-Event Systems via IC3
Experimenting with SAT solvers in vampire
Extensional crisis and proving identity
A Parametric Interpolation Framework for First-Order Theories
The Auspicious Couple: Symbolic Execution and WCET Analysis
First-Order Theorem Proving and Vampire
SmacC: A Retargetable Symbolic Execution Engine
Special issue on Automated Specification and Verification of Web Systems
WCET Squeezing: On-Demand Feasibility Refinement for Proven Precise WCET-Bounds
The Inverse Method for Many-Valued Logics
Bound Propagation for Arithmetic Reasoning in Vampire
Ladda ner publikationslistor
Du kan ladda ner denna lista till din dator.
Filtrera och ladda ner publikationslista
Som inloggad användare hittar du ytterligare funktioner i MyResearch.
Du kan även exportera direkt till Zotero eller Mendeley genom webbläsarplugins. Dessa hittar du här:
Zotero Connector
Mendeley Web Importer
Tjänsten SwePub erbjuder uttag av Researchs listor i andra format, till exempel kan du få uttag av publikationer enligt Harvard och Oxford i .RIS, BibTex och RefWorks-format.
Visar 1 forskningsprojekt
GenPro: Generera och bevisa programegenskaper via symboleliminering