On the Automatic Computation of Network Invariants
Abstract elided by the publisher.
2,069 papers · page 95 of 104
Methodology and System for Practical Formal Verification of Reactive Hardware
Abstract elided by the publisher.
An Automata-Theoretic Approach to Branching-Time Model Checking (Extended Abstract)
Abstract elided by the publisher.
Symbolic Verification with Periodic Sets
Abstract elided by the publisher.
Verification of Context-Free Timed Systems Using Linear Hybrid Observers
Abstract elided by the publisher.
Automatic verification of Pipelined Microprocessor Control
Abstract elided by the publisher.
Another Look at LTL Model Checking
Abstract elided by the publisher.
Performance Improvement of State Space Exploration by Regular & Diffrential Hashing Functions
Abstract elided by the publisher.
Ground Temporal Logic: A Logic for Hardware Verification
Abstract elided by the publisher.
Model Checking Using Adaptive State and Data Abstraction
Abstract elided by the publisher.
Efficient Model Checking by Automated Ordering of Transition Relation Partitions
Abstract elided by the publisher.
Real-Time System Verification using P/T Nets
Abstract elided by the publisher.
Verification of a Distributed Cache Memory by Using Abstractions
Abstract elided by the publisher.
Composing Symbolic Trajectory Evaluation Results
Abstract elided by the publisher.
Improving Language Containment Using Fairness Graphs
Abstract elided by the publisher.
Model Checking of macro Processes
Abstract elided by the publisher.
Models Whose Checks Don't Explode
Abstract elided by the publisher.
Criteria for the Simple Path Property in Timed Automata
Abstract elided by the publisher.
A Parallel Algorithm for Relational Coarsest Partition Problems and Its Implementation
Abstract elided by the publisher.
An Improved Algorithm for the Evaluation of Fixpoint Expressions
Abstract elided by the publisher.