Interpolation-Based Software Verification with Wolverine
Abstract elided by the publisher.
2,069 papers · page 54 of 104
Synthesizing Biological Theories
Abstract elided by the publisher.
PRISM 4.0: Verification of Probabilistic Real-Time Systems
Abstract elided by the publisher.
SMT-Based Modular Analysis of Sequential Systems Code
Abstract elided by the publisher.
Program Analysis for Overlaid Data Structures
Abstract elided by the publisher.
KLOVER: A Symbolic Execution and Automatic Test Generation Tool for C++ Programs
Abstract elided by the publisher.
Fully Symbolic Model Checking for Timed Automata
Abstract elided by the publisher.
Complete Formal Hardware Verification of Interfaces for a FlexRay-Like Bus
Abstract elided by the publisher.
Synthia: Verification and Synthesis for Timed Automata
Abstract elided by the publisher.
FixBag: A Fixpoint Calculator for Quantified Bag Constraints
Abstract elided by the publisher.
Logic and Compositional Verification of Hybrid Systems - (Invited Tutorial)
Abstract elided by the publisher.
Analyzing Unsynthesizable Specifications for High-Level Robot Behavior Using LTLMoP
Abstract elided by the publisher.
Practical, Low-Effort Equivalence Verification of Real Code
Abstract elided by the publisher.
Relational Abstractions for Continuous and Hybrid Systems
Abstract elided by the publisher.
Simplifying Loop Invariant Generation Using Splitter Predicates
Abstract elided by the publisher.
Using Coverage to Deploy Formal Verification in a Simulation World
Formal verification technology has today advanced to the stage that it can complement or replace simulation effort for selected hardware designs. Yet the completion of a formal verification effort is rarely a requirement for hardware tapeout. Simulation remains the primary verifi…
Monitorability of Stochastic Dynamical Systems
Abstract elided by the publisher.
Equality-Based Translation Validator for LLVM
Abstract elided by the publisher.
Simulation Subsumption in Ramsey-Based Büchi Automata Universality and Inclusion Testing
Abstract elided by the publisher.
Abstract Analysis of Symbolic Executions
Abstract elided by the publisher.