A Graphical Interval Logic Toolset for Verifying Concurrent Systems
Abstract elided by the publisher.
2,069 papers · page 98 of 104
Alternating RQ Timed Automata
Abstract elided by the publisher.
The Formal Verification of an Algorithm for Interactive Consistency under a Hybrid Fault Model
Abstract elided by the publisher.
Reachability Analysis of Planar Multi-limear Systems
Abstract elided by the publisher.
All from One, One for All: on Model Checking Using Representatives
Abstract elided by the publisher.
Verifying Timed Behavior Automata with Input/Output Critical Races
Abstract elided by the publisher.
Automatic Generation of Network Invariants for the Verification of Iterative Sequential Systems
Abstract elided by the publisher.
Verification of Real-Time Systems Using PVS
Abstract elided by the publisher.
Computer-Assisted Simulation Proofs
Abstract elided by the publisher.
On-the-Fly Verification with Stubborn Sets
Abstract elided by the publisher.
Protocol Design for an Automated Highway System (Abstract)
Abstract elided by the publisher.
A Mechanically Verified Application for a Mechanically Verified Environment
Abstract elided by the publisher.
Reliable Hashing without Collosion Detection
Abstract elided by the publisher.
An Efficient Algorithm for Minimizing Real-time Transition Systems
Abstract elided by the publisher.
Efficient Verification of Parallel Real-Time Systems
Abstract elided by the publisher.
Verifying a Logic Synthesis Tool in Nuprl: A Case Study in Software Verification
Abstract elided by the publisher.
Timing Verification by Successive Approximation
Abstract elided by the publisher.
A Verification Strategy for Timing-Constrained Systems
Abstract elided by the publisher.
Property Preserving Simulations
Abstract elided by the publisher.
Symbolic Bisimulation Minimisation
Abstract elided by the publisher.