Model-Checking for a Subclass of Event Structures
Abstract elided by the publisher.
1,553 papers · page 76 of 78
Formal Verification of Statecharts with Instantaneous Chain Reaction
Abstract elided by the publisher.
Mechanically Verified Self-Stabilizing Hierarchical Algorithms
Abstract elided by the publisher.
Real-Time Logics: Fictitious Clock as an Abstraction of Dense Time
Abstract elided by the publisher.
Theorem Prover Support for the Refinement of Stream Processing Functions
Abstract elided by the publisher.
A Tableau System for Linear-TIME Temporal Logic
Abstract elided by the publisher.
Compositional Performance Analysis
Abstract elided by the publisher.
An Analyser for Mesage Sequence Charts
Abstract elided by the publisher.
Generic System Support for Deductive Program Development
Abstract elided by the publisher.
UPPAAL in 1995
Uppaal is a tool suite for automatic verification of safety and bounded liveness properties of real-time systems modeled as networks of timed automata [12, 9, 4], developed during the past two years. In this paper, we summarize the main features of Uppaal in particular its variou…
Realtion-Algebraic Analysis of Petri Nets with RELVIEW
Abstract elided by the publisher.
Efficent Local Model-Checking for Fragments of teh Modal µ-Calculus
Abstract elided by the publisher.
The FC2TOOLS Set (Tool Demonstration)
Abstract elided by the publisher.
Strategy Construction in Infinite Ganes with Streett and Rabin Chain Winning Conditions
Abstract elided by the publisher.
Formal Verification of a Partial-Order Reduction Technique for Model Checking
Abstract elided by the publisher.
Priorities for Modeling and Verifying Distributed Systems
Abstract elided by the publisher.
The Concurrency Factory Software Development Environment
Abstract elided by the publisher.
Rapid Prototyping for an Assertional Specification language
Abstract elided by the publisher.
Efficient Search as a Means of Executing Specifications
Abstract elided by the publisher.
An Improvement of McMillan's Unfolding Algorithm
Abstract elided by the publisher.