An Efficiently Checkable, Proof-Based Formulation of Vacuity in Model Checking
Abstract elided by the publisher.
2,069 papers · page 73 of 104
Rob Tristan Gerth: 1956?2003
Abstract elided by the publisher.
The HiVy Tool Set
Abstract elided by the publisher.
Global Model-Checking of Infinite-State Systems
Abstract elided by the publisher.
A Toolset for Modelling and Verification of GALS Systems
Abstract elided by the publisher.
Deductive Verification of Pipelined Machines Using First-Order Quantification
Abstract elided by the publisher.
Static Program Analysis via 3-Valued Logic
Abstract elided by the publisher.
Parallel LTL-X Model Checking of High-Level Petri Nets Based on Unfoldings
Abstract elided by the publisher.
GSTE Is Partitioned Model Checking
Abstract elided by the publisher.
Statistical Model Checking of Black-Box Probabilistic Systems
Abstract elided by the publisher.
Range Allocation for Separation Logic
Separation Logic consists of a Boolean combination of predicates of the form v i ≥ v j + c where c is a constant and v i ,v j are variables of some ordered infinite type like real or integer. Any equality or inequality can be expressed in this logic. We propose a decision procedu…
PlayGame: A Platform for Diagnostic Games
Abstract elided by the publisher.
Termination of Linear Programs
Abstract elided by the publisher.
Symbolic Parametric Safety Analysis of Linear Hybrid Systems with BDD-Like Data-Structures
Abstract elided by the publisher.
Compositional Specification and Model Checking in GSTE
Abstract elided by the publisher.
Algorithmic Improvements in Regular Model Checking
Abstract elided by the publisher.
Strengthening Invariants by Symbolic Consistency Testing
Abstract elided by the publisher.
Modular Strategies for Infinite Games on Recursive Graphs
Abstract elided by the publisher.
Enhanced Vacuity Detection in Linear Temporal Logic
Abstract elided by the publisher.
FAST: Fast Acceleration of Symbolikc Transition Systems
Abstract elided by the publisher.