Approximately Bisimilar Symbolic Models for Digital Control Systems
Abstract elided by the publisher.
2,069 papers · page 51 of 104
From C to Infinity and Back: Unbounded Auto-active Verification with VCC
Abstract elided by the publisher.
Formal Verification of Genetic Circuits
Abstract elided by the publisher.
nuTAB-BackSpace: Rewriting to Normalize Non-determinism in Post-silicon Debug Traces
Abstract elided by the publisher.
Leveraging Interpolant Strength in Model Checking
Abstract elided by the publisher.
CSolve: Verifying C with Liquid Types
Abstract elided by the publisher.
How to Prove Algorithms Linearisable
Abstract elided by the publisher.
passert: A Tool for Debugging Parallel Programs
Abstract elided by the publisher.
Interpolants as Classifiers
Abstract elided by the publisher.
Synthesizing Number Transformations from Input-Output Examples
Abstract elided by the publisher.
SPT: Storyboard Programming Tool
We present Spt, a tool that helps programmers write low-level data-structure manipulations by combining various forms of insights such as abstract and concrete input-output examples as well as implementation skeletons. When programmers write such manipulations, they typically hav…
Alternate and Learn: Finding Witnesses without Looking All over
Abstract elided by the publisher.
A Model Checker for Hierarchical Probabilistic Real-Time Systems
Abstract elided by the publisher.
A Method for Symbolic Computation of Abstract Operations
Abstract elided by the publisher.
Synthesis and Some of Its Challenges
Abstract elided by the publisher.
HybridSAL Relational Abstracter
Abstract elided by the publisher.
The Gauge Domain: Scalable Analysis of Linear Inequality Invariants
Abstract elided by the publisher.
Timed Relational Abstractions for Sampled Data Control Systems
Abstract elided by the publisher.
Stability in Weak Memory Models
Abstract elided by the publisher.
Verification of Certifying Computations
Abstract elided by the publisher.