TACAS 1997
28 papers
- A Brief Introduction to Coloured Petri Nets
- A Tableau System for Linear-TIME Temporal Logic
- A Tool to Support Formal Reasoning about Computer Languages
- An Automated Based Verification Environment for Mobile Processes
- Automatic Synthesis of Specifications from the Dynamic Observation of Reactive Programs
- Combining Partial Order and Symmetry Reductions
- Compositional Performance Analysis
- Compositional State Space Generation from Lotos Programs
- Design/CPN - A Computer Tool for Coloured Petri Nets
- Formal Verification of Statecharts with Instantaneous Chain Reaction
- Graphs in METAFrame: The Unifying Power of Polymorphism
- Hardware and Software Synthesis, Optimization, and Verification from Esterel Programs
- Incremental Development of Deadlock-Free Communicating Systems
- Integration in PVS: Tables, Types, and Model Checking
- MOSEL: A FLexible Toolset for Monadic Second-Order Logic
- Manipulation Algorithms for K*BMDs
- Mechanically Verified Self-Stabilizing Hierarchical Algorithms
- Model-Checking for a Subclass of Event Structures
- Partial Model Checking with ROBDDs
- Real-Time Logics: Fictitious Clock as an Abstraction of Dense Time
- Space Efficient Reachability Analysis Through Use of Pseudo-Root States
- Syntactic Detection of Process Divergence and Non-local Choice inMessage Sequence Charts
- Test Generation for Intelligent Networks Using Model Checking
- The Bounded Retransmission Protocol Must Be on Time!
- The Reference Component of PEP
- The Term Processor Generator Kimwitu
- Theorem Prover Support for the Refinement of Stream Processing Functions
- Visual Verification of Reactive Systems