Joseph Sifakis (Ed.):
Automatic Verification Methods for Finite State Systems, International Workshop, Grenoble, France, June 12-14, 1989, Proceedings.
Lecture Notes in Computer Science 407 Springer 1990, ISBN 3-540-52148-8 BibTeX
@proceedings{DBLP:conf/avmfss/1989,
editor = {Joseph Sifakis},
title = {Automatic Verification Methods for Finite State Systems, International
Workshop, Grenoble, France, June 12-14, 1989, Proceedings},
booktitle = {Automatic Verification Methods for Finite State Systems},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {407},
year = {1990},
isbn = {3-540-52148-8},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Process Algebras and Systems of Communicating Processes
- Gérard Boudol, Valérie Roy, Robert de Simone, Didier Vergamini:
Process Calculi, from Theory to Practice: Verification Tools.
1-10 BibTeX
- Rance Cleaveland, Matthew Hennessy:
Testing Equivalence as a Bisimulation Equivalence.
11-23 BibTeX
- Rance Cleaveland, Joachim Parrow, Bernhard Steffen:
The Concurrency Workbench.
24-37 BibTeX
- Florence Maraninchi:
Argonaute: Graphical Description, Semantics and Verification of Reactive Systems by Using a Process Algebra.
38-53 BibTeX
- Rocco De Nicola, Paola Inverardi, Monica Nesi:
Using the Adxiomatic Presentation of Behavioural Equivalences for Manipulating CCS Specifications.
54-67 BibTeX
- Pierre Wolper, Vinciane Lovinfosse:
Verifying Properties of Large Sets of Processes with Network Invariants.
68-80 BibTeX
- Ivan Christoff:
A Method for Verification of Trace and Test Equivalence.
81-88 BibTeX
- Heiko Krumm:
Projections of the Reachability Graph and Environment Models.
89-96 BibTeX
- Heikki Tuominen:
Proving Properties of Elementary Net Systems with a Special-Purpose Theorem Prover.
97-104 BibTeX
- Han Zuidweg:
Verification by Abstraction and Bisimulation.
105-116 BibTeX
Model Checking
- André Arnold:
MEC: A System for Constructing and Analysing Transition Systems.
117-132 BibTeX
- Howard Barringer, Michael Fisher, Graham Gough:
Fair SMG and Linear Time Model Checking.
133-150 BibTeX
- Ze'ev Shtadler, Orna Grumberg:
Network Grammars, Communication Behaviors and Automatic Verification.
151-165 BibTeX
- Colin Stirling, David Walker:
CCS, Liveness, and Local Model Checking in the Linear Time Mu-Calculus.
166-178 BibTeX
- Bengt Jonsson, Ahmed Hussain Khan, Joachim Parrow:
Implementing a Model Checking Algorithm by Adapting Existing Automated Tools.
179-188 BibTeX
- Claude Jard, Thierry Jéron:
On-Line Model Checking for Finite Linear Temporal Logic Specifications.
189-196 BibTeX
Timed Specifications
Protocol Validation
- Sudhir Aggarwal, Daniel Barbará, Walter Cunto, M. R. Garey:
The Complexity of Collapsing Reachability Graphs.
264-274 BibTeX
- Susanne Graf, Jean-Luc Richier, Carlos Rodriguez, Jacques Voiron:
What are the Limits of Model Checking Methods for the Verification of Real Life Protocols?
275-285 BibTeX
- Pierre Azéma, François Vernadat, Jean Christophe Lloret:
Requirement Analysis for Communication Protocols.
286-293 BibTeX
- Juan Quemada, Santiago Pavón, Angel Fernández:
State Exploration by Transformation with LOLA.
294-302 BibTeX
- Maria C. Yuang, Aaron Kershenbaum:
Parallel Protocol Verification: The Two-Phase Algorithm and Complexity Analysis.
303-316 BibTeX
Hardware Verification
Copyright © Sat May 16 22:59:14 2009
by Michael Ley (ley@uni-trier.de)
