PESSOA: A Tool for Embedded Controller Synthesis
Abstract elided by the publisher.
2,069 papers · page 57 of 104
Lazy Annotation for Program Testing and Verification
Abstract elided by the publisher.
Petruchio: From Dynamic Networks to Nets
Abstract elided by the publisher.
Memory Management in Concurrent Algorithms
Abstract elided by the publisher.
Quantifier Elimination by Lazy Model Enumeration
Abstract elided by the publisher.
Jtlv: A Framework for Developing Verification Algorithms
Abstract elided by the publisher.
An Abstraction-Refinement Approach to Verification of Artificial Neural Networks
Abstract elided by the publisher.
There's Plenty of Room at the Bottom: Analyzing and Verifying Machine Code
Abstract elided by the publisher.
Constraint Solving for Program Verification: Theory and Practice by Example
Abstract elided by the publisher.
Global Reachability in Bounded Phase Multi-stack Pushdown Systems
Abstract elided by the publisher.
Learning Component Interfaces with May and Must Abstractions
Abstract elided by the publisher.
Directed Proof Generation for Machine Code
Abstract elided by the publisher.
Model-Checking Parameterized Concurrent Programs Using Linear Interfaces
Abstract elided by the publisher.
Automatically Proving Linearizability
Abstract elided by the publisher.
Safety Verification for Probabilistic Hybrid Systems
Abstract elided by the publisher.
On Array Theory of Bounded Elements
Abstract elided by the publisher.
Models and Proofs of Protocol Security: A Progress Report
Abstract elided by the publisher.
Symbolic Counter Abstraction for Concurrent Software
Abstract elided by the publisher.
Priority Scheduling of Distributed Systems Based on Model Checking
Abstract elided by the publisher.
Explaining Counterexamples Using Causality
Abstract elided by the publisher.