ClabureDB: Classified Bug-Reports Database
Abstract elided by the publisher.
642 papers · page 18 of 33
Reduced Product Combination of Abstract Domains for Shapes
Abstract elided by the publisher.
Abstraction-Guided Synthesis
Abstract elided by the publisher.
State Space Reduction for Sensor Networks Using Two-Level Partial Order Reduction
Abstract elided by the publisher.
Compositional and Lightweight Dependent Type Inference for ML
Abstract elided by the publisher.
Whale: An Interpolation-Based Algorithm for Inter-procedural Verification
Abstract elided by the publisher.
Synchronizability for Verification of Asynchronously Communicating Systems
Abstract elided by the publisher.
On the Termination of Integer Loops
Abstract elided by the publisher.
Abstract Domains for Automated Reasoning about List-Manipulating Programs with Infinite Data
Abstract elided by the publisher.
Verification of Gap-Order Constraint Abstractions of Counter Systems
Abstract elided by the publisher.
On Application of Multi-Rooted Binary Decision Diagrams to Probabilistic Model Checking
Abstract elided by the publisher.
Regression Verification for Multi-threaded Programs
Abstract elided by the publisher.
Crowfoot: A Verifier for Higher-Order Store Programs
We present Crowfoot, an automatic verification tool for imperative programs that manipulate procedures dynamically at runtime; these programs use a heap that can store not only data but also code (commands or procedures). Such heaps are often called higher-order store , and allow…
Synthesizing Protocols for Digital Contract Signing
Abstract elided by the publisher.
Model Checking Information Flow in Reactive Systems
Abstract elided by the publisher.
Splitting via Interpolants
Abstract elided by the publisher.
Synthesizing Efficient Controllers
Abstract elided by the publisher.
Automatic Inference of Access Permissions
Abstract elided by the publisher.
Lazy Synthesis
Abstract elided by the publisher.
Donut Domains: Efficient Non-convex Domains for Abstract Interpretation
Abstract elided by the publisher.