Unfolding Concurrent Well-Structured Transition Systems
Abstract elided by the publisher.
1,553 papers · page 57 of 78
Faster Algorithms for Finitary Games
Abstract elided by the publisher.
VCEGAR: Verilog CounterExample Guided Abstraction Refinement
Abstract elided by the publisher.
State of the Union: Type Inference Via Craig Interpolation
Abstract elided by the publisher.
Model Checking Probabilistic Timed Automata with One or Two Clocks
Abstract elided by the publisher.
Bisimulation Minimisation Mostly Speeds Up Probabilistic Model Checking
Abstract elided by the publisher.
Combined Satisfiability Modulo Parametric Theories
Abstract elided by the publisher.
"Don't Care" Modeling: A Logical Framework for Developing Predictive System Models
Abstract elided by the publisher.
Uppaal/DMC- Abstraction-Based Heuristics for Directed Model Checking
Abstract elided by the publisher.
Verifying Object-Oriented Software: Lessons and Challenges
Abstract elided by the publisher.
Generating Representation Invariants of Structurally Complex Data
Abstract elided by the publisher.
Shape Analysis by Graph Decomposition
Abstract elided by the publisher.
Checking Pedigree Consistency with PCS
Abstract elided by the publisher.
The Heterogeneous Tool Set, Hets
Abstract elided by the publisher.
Hoare Logic for Realistically Modelled Machine Code
Abstract elided by the publisher.
On Sampling Abstraction of Continuous Time Logic with Durations
Abstract elided by the publisher.
Complexity in Simplicity: Flexible Agent-Based State Space Exploration
Abstract elided by the publisher.
Property-Driven Partitioning for Abstraction Refinement
Abstract elided by the publisher.
Adaptor Synthesis for Real-Time Components
Abstract elided by the publisher.
Kodkod: A Relational Model Finder
Abstract elided by the publisher.