The METAFrame'95 Environment
Abstract elided by the publisher.
2,069 papers · page 93 of 104
Analysis of Timed Systems Based on Time-Abstracting Bisimulation
Abstract elided by the publisher.
Pushdown Processes: Games and Model Checking
Abstract elided by the publisher.
Local Liveness for Compositional Modeling of Fair Reactive Systems
Abstract elided by the publisher.
Efficient Checking of Behavioural Relations and Modal Assertions using Fixed-Point Inversion
Abstract elided by the publisher.
Supervisory Control of Finite State Machines
Abstract elided by the publisher.
It Usually Works: The Temporal Logic of Stochastic Systems
Abstract elided by the publisher.
Hardware Verification using Monadic Second-Order Logic
We show how the second-order monadic theory of strings can be used to specify hardware components and their behavior. This logic admits a decision procedure and counter-model generator based on canonical automata for formulas. We have used a system implementing these concepts to …
Global rebuilding of OBDDs Avoiding Memory Requirement Maxima
Abstract elided by the publisher.
From Duration Calculus To Linear Hybrid Automata
Abstract elided by the publisher.
Verifying omega-Regular Properties for a Subclass of Linear Hybrid Systems
Abstract elided by the publisher.
Multipliers and Dividers: Insights on Arithmetic Circuits Verification (Extended Abstract)
Abstract elided by the publisher.
Compositional and Inductive Semantic Definitions in Fixpoint, Equational, Constraint, Closure-condition, Rule-based and Game-Theoretic Form
Abstract elided by the publisher.
Verification of Real-Time Systems by Successive Over and Under Approximation
Abstract elided by the publisher.
Model Checking for Infinite State Systems Using Data Abstraction, Assumption-Commitment Style reasoning and Theorem Proving
Abstract elided by the publisher.
Generating BDD Models for Process Algebra Terms
Abstract elided by the publisher.
Using Formal Verification/Analysis Methods on the Critical Path in System Design: A Case Study
Abstract elided by the publisher.
Methods for Mu-calculus Model Checking: A Tutorial (Abstract)
Abstract elided by the publisher.
Utilizing Symmetry when Model Checking under Fairness Assumptions: An Automata-theoretic Approach
Abstract elided by the publisher.
On the Model Checking Problem for Branching Time Logics and Basic Parallel Processes
Abstract elided by the publisher.