Partial Model Checking with ROBDDs
Abstract elided by the publisher.
1,553 papers · page 75 of 78
Graphs in METAFrame: The Unifying Power of Polymorphism
Abstract elided by the publisher.
Syntactic Detection of Process Divergence and Non-local Choice inMessage Sequence Charts
Message Sequence Charts (MSCs) are increasingly used in software engineering methodologies and tools to capture, for instance, system requirements, test scenarios, and simulation traces. They have been standardized by ITU-T in Recommendation Z.120 [IT96]. However, various aspects…
Hardware and Software Synthesis, Optimization, and Verification from Esterel Programs
Abstract elided by the publisher.
Automatic Synthesis of Specifications from the Dynamic Observation of Reactive Programs
Abstract elided by the publisher.
A Tool to Support Formal Reasoning about Computer Languages
Abstract elided by the publisher.
Design/CPN - A Computer Tool for Coloured Petri Nets
In this paper, we describe the computer tool Design/CPN supporting editing, simulation, and state space analysis of Coloured Petri Nets. So far, approximately 40 man-years have been invested in the development of Design/CPN. It is used world-wide by more than 200 companies and re…
The Bounded Retransmission Protocol Must Be on Time!
Abstract elided by the publisher.
Manipulation Algorithms for K*BMDs
Abstract elided by the publisher.
The Term Processor Generator Kimwitu
Abstract elided by the publisher.
Combining Partial Order and Symmetry Reductions
Abstract elided by the publisher.
Test Generation for Intelligent Networks Using Model Checking
Abstract elided by the publisher.
An Automated Based Verification Environment for Mobile Processes
Abstract elided by the publisher.
The Reference Component of PEP
Abstract elided by the publisher.
A Brief Introduction to Coloured Petri Nets
Abstract elided by the publisher.
MOSEL: A FLexible Toolset for Monadic Second-Order Logic
Abstract elided by the publisher.
Incremental Development of Deadlock-Free Communicating Systems
Abstract elided by the publisher.
Compositional State Space Generation from Lotos Programs
Abstract elided by the publisher.
Integration in PVS: Tables, Types, and Model Checking
Abstract elided by the publisher.
Space Efficient Reachability Analysis Through Use of Pseudo-Root States
Abstract elided by the publisher.