Verifying Low-Level Implementations of High-Level Datatypes
Abstract elided by the publisher.
2,069 papers · page 56 of 104
Breach, A Toolbox for Verification and Parameter Synthesis of Hybrid Systems
Abstract elided by the publisher.
Symbolic Bounded Synthesis
Abstract elided by the publisher.
A NuSMV Extension for Graded-CTL Model Checking
Abstract elided by the publisher.
Bounded Underapproximations
Abstract elided by the publisher.
A Logical Product Approach to Zonotope Intersection
We define and study a new abstract domain which is a fine-grained combination of zonotopes with (sub-)polyhedric domains such as the interval, octagon, linear template or polyhedron domains While abstract transfer functions are still rather inexpensive and accurate even for inter…
Achieving Distributed Control through Model Checking
Abstract elided by the publisher.
PARAM: A Model Checker for Parametric Markov Models
Abstract elided by the publisher.
Efficient Emptiness Check for Timed Büchi Automata
Abstract elided by the publisher.
Retrofitting Legacy Code for Security
Abstract elided by the publisher.
Universal Causality Graphs: A Precise Happens-Before Model for Detecting Bugs in Concurrent Programs
Abstract elided by the publisher.
Dynamic Cutoff Detection in Parameterized Concurrent Programs
Abstract elided by the publisher.
Dsolve: Safety Verification via Liquid Types
Abstract elided by the publisher.
Termination Analysis with Compositional Transition Invariants
Abstract elided by the publisher.
Comfusy: A Tool for Complete Functional Synthesis
Abstract elided by the publisher.
Contessa: Concurrency Testing Augmented with Symbolic Analysis
Abstract elided by the publisher.
Efficient Reachability Analysis of Büchi Pushdown Systems for Hardware/Software Co-verification
Abstract elided by the publisher.
Generating Litmus Tests for Contrasting Memory Consistency Models
Abstract elided by the publisher.
Quantitative Information Flow: From Theory to Practice?
Abstract elided by the publisher.
Synthesis of Quantized Feedback Control Software for Discrete Time Linear Hybrid Systems
Abstract elided by the publisher.