TACAS 1996
33 papers
- A Constraint-Oriented Service Creation Environment
- A Construction and Analysis Tool Based on the Stochastic Process Algebra TIPP
- A Tool for Proving Invariance Properties of Concurrent Systems Automatically
- An Analyser for Mesage Sequence Charts
- An Improvement of McMillan's Unfolding Algorithm
- Automatic Compositional Verification of Some Security Properties
- Breaking and Fixing the Needham-Schroeder Public-Key Protocol Using FDR
- DFA&OPT-METAFrame: A Tool Kit for Program Analysis and Optimazation
- Early Fault Detection Tools
- Efficent Local Model-Checking for Fragments of teh Modal µ-Calculus
- Efficient Search as a Means of Executing Specifications
- Extending Promela and Spin for Real Time
- Formal Verification of a Partial-Order Reduction Technique for Model Checking
- Fully Automatic Verifcation and Error Detection for Parameterized Iterative Sequential Circuits
- Games and Modal Mu-Calculus
- Generic System Support for Deductive Program Development
- Kleene Algebra with Tests and Commutativity Conditions
- Managing Proofs (Abstract)
- PEP - More than a Petri Net Tool
- Permutable Agents in Process Algebras
- Priorities for Modeling and Verifying Distributed Systems
- Probabilistic Duration Automata for Analyzing Real-Time Systems
- Rapid Prototyping for an Assertional Specification language
- Reactive EFSMs - Reactive Promela/RSPIN
- Realtion-Algebraic Analysis of Petri Nets with RELVIEW
- Strategy Construction in Infinite Ganes with Streett and Rabin Chain Winning Conditions
- Test Generation with Inputs, Outputs, and Quiescence
- The Concurrency Factory Software Development Environment
- The FC2TOOLS Set (Tool Demonstration)
- Timed Condition/Event Systems: A Framework for Modular Discrete Models of Chemical Plants and Verification of Their Real-Time Discrete Control
- UPPAAL in 1995
- Using the Constraint Language Toupie for "Software Cost Reduction" Specification Analysis (Abstract)
- cTc - A Tool Supporting the Construction of cTLA-Specifications