Validation of Pipelined Processor Designs Using Esterel Tools: A Case Study
Abstract elided by the publisher.
2,069 papers · page 85 of 104
Abstract and Model Check While You Prove
Abstract elided by the publisher.
PIL/SETHEO: A Tool for the Automatic Analysis of Authentication Protocols
Abstract elided by the publisher.
The Compositional Specification of Timed Systems - A Tutorial
Abstract elided by the publisher.
Automatic Verification of Abstract State Machines
Abstract elided by the publisher.
Optimizing Symbolic Model Checking for Constraint-Rich Models
This paper presents optimizations for verifying systems with complex time-invariant constraints. These constraints arise naturally from modeling physical systems, e.g., in establishing the relationship between different components in a system. To verify constraint-rich systems, w…
On-the-Fly Analysis of Systems with Unbounded, Lossy FIFO Channels
Abstract elided by the publisher.
A General Approach to Partial Order Reductions in Symbolic Verification (Extended Abstract)
Abstract elided by the publisher.
MOCHA: Modularity in Model Checking
Abstract elided by the publisher.
Correctness of the Concurrent Approach to Symbolic Verification of Interleaved Models
Abstract elided by the publisher.
On-the-Fly Model Checking of RCTL Formulas
Abstract elided by the publisher.
Mechanising BAN Kerberos by the Inductive Method
Abstract elided by the publisher.
Verification of Timed Systems Using POSETs
Abstract elided by the publisher.
Computing Abstractions of Infinite State Systems Compositionally and Automatically
Abstract elided by the publisher.
InVeST: A Tool for the Verification of Invariants
Abstract elided by the publisher.
Integrating Proof-Based and Model-Checking Techniques for the Formal Verification of Cryptographic Protocols
Abstract elided by the publisher.
XEVE, an ESTEREL Verification Environment
Abstract elided by the publisher.
Kronos: A Model-Checking Tool for Real-Time Systems
Abstract elided by the publisher.
Real-Time Verification of Statemate Designs
Abstract elided by the publisher.
A Role for Theorem Proving in Multi-Processor Design
Abstract elided by the publisher.