A Discrete Strategy Improvement Algorithm for Solving Parity Games
Abstract elided by the publisher.
2,069 papers · page 83 of 104
Combining Decision Diagrams and SAT Procedures for Efficient Symbolic Model Checking
In this paper we show how to do symbolic model checking using Boolean Expression Diagrams (BEDs), a non-canonical representation for Boolean formulas, instead of Binary Decision Diagrams (BDDs), the traditionally used canonical representation. The method is based on standard fixe…
VINAS-P: A Tool for Trace Theoretic Verification of Timed Asynchronous Circuits
Abstract elided by the publisher.
Verification of Infinite-State Systems by Combining Abstraction and Reachability Analysis
Abstract elided by the publisher.
Handling Global Conditions in Parameterized System Verification
Abstract elided by the publisher.
Timed Automata
Abstract elided by the publisher.
Java Bytecode Verification by Model Checking
Abstract elided by the publisher.
Model Checking the IBM Gigahertz Processor: An Abstraction Algorithm for High-Performance Netlists
Abstract elided by the publisher.
Efficient Timed Reachability Analysis Using Clock Difference Diagrams
Abstract elided by the publisher.
Automated Verification of a Parametric Real-Time Program: The ABR Conformance Protocol
Abstract elided by the publisher.
Verifiying Safety Properties of a Power PC Microprocessor Using Symbolic Model Checking without BDDs
Abstract elided by the publisher.
Automatic Verification of Combinatorial and Pipelined FFT
Abstract elided by the publisher.
Efficient Decision Procedures for Model Checking of Linear Time Logic Properties
Abstract elided by the publisher.
Model Checking Based on Sequential ATPG
Abstract elided by the publisher.
On the Representation of Probabilities over Structured Domains
Abstract elided by the publisher.
Formal Methods for Conformance Testing: Theory Can Be Practical
Abstract elided by the publisher.
Model Checking Partial State Spaces with 3-Valued Temporal Logics
Abstract elided by the publisher.
Exploiting Positive Equality in a Logic of Equality with Uninterpreted Functions
Abstract elided by the publisher.
A Toolbox for the Analysis of Discrete Event Dynamic Systems
Abstract elided by the publisher.
Latency Insensitive Protocols
Abstract elided by the publisher.