search
search
reviewers
reviewers
feeds
feeds
assignments
assignments

settings
logout

Automatic Verification Methods for Finite State Systems

Keyphrases

Publications

volume 407, 1990

Automatic Verification Methods for Finite State Systems, International Workshop, Grenoble, France, June 12-14, 1989, Proceedings Automatic Verification Methods for Finite State Systems 407 (1990)

1989

Han Zuidweg
Verification by Abstraction and Bisimulation. Automatic Verification Methods for Finite State Systems (1989)
Rocco De Nicola, Paola Inverardi, Monica Nesi
Using the Adxiomatic Presentation of Behavioural Equivalences for Manipulating CCS Specifications. Automatic Verification Methods for Finite State Systems (1989)
Jonathan S. Ostroff
Automated Verification of Timed Transition Models. Automatic Verification Methods for Finite State Systems (1989)
Bengt Jonsson, Ahmed Hussain Khan, Joachim Parrow
Implementing a Model Checking Algorithm by Adapting Existing Automated Tools. Automatic Verification Methods for Finite State Systems (1989)
Ivan Christoff
A Method for Verification of Trace and Test Equivalence. Automatic Verification Methods for Finite State Systems (1989)
Alexandre Bronstein, Carolyn L. Talcott
Formal Verification of Synchronous Circuits based on String-Functional Semantics: The 7 Paillet Circuits in Boyer-Moore. Automatic Verification Methods for Finite State Systems (1989)
Heikki Tuominen
Proving Properties of Elementary Net Systems with a Special-Purpose Theorem Prover. Automatic Verification Methods for Finite State Systems (1989)
Pierre Azéma, François Vernadat, Jean Christophe Lloret
Requirement Analysis for Communication Protocols. Automatic Verification Methods for Finite State Systems (1989)
Jørgen Staunstrup, Stephen J. Garland, John V. Guttag
Localized Verification of Circuit Descriptions. Automatic Verification Methods for Finite State Systems (1989)
Ze'ev Shtadler, Orna Grumberg
Network Grammars, Communication Behaviors and Automatic Verification. Automatic Verification Methods for Finite State Systems (1989)
David L. Dill
Timing Assumptions and Verification of Finite-State Concurrent Systems. Automatic Verification Methods for Finite State Systems (1989)
Nicolas Halbwachs, Daniel Pilaud, Farid Ouabdesselam, Anne-Cecile Glory
Specifying, Programming and Verifying Real-Time Systems Using a Synchronous Declarative Language. Automatic Verification Methods for Finite State Systems (1989)
William G. Wood
Temporal Logic Case Study. Automatic Verification Methods for Finite State Systems (1989)
Sudhir Aggarwal, Daniel Barbará, Walter Cunto, M. R. Garey
The Complexity of Collapsing Reachability Graphs. Automatic Verification Methods for Finite State Systems (1989)
Rance Cleaveland, Matthew Hennessy
Testing Equivalence as a Bisimulation Equivalence. Automatic Verification Methods for Finite State Systems (1989)
Juan Quemada, Santiago Pavón, Angel Fernández
State Exploration by Transformation with LOLA. Automatic Verification Methods for Finite State Systems (1989)
Gérard Boudol, Valérie Roy, Robert de Simone, Didier Vergamini
Process Calculi, from Theory to Practice: Verification Tools. Automatic Verification Methods for Finite State Systems (1989)
Florence Maraninchi
Argonaute: Graphical Description, Semantics and Verification of Reactive Systems by Using a Process Algebra. Automatic Verification Methods for Finite State Systems (1989)
Maria C. Yuang, Aaron Kershenbaum
Parallel Protocol Verification: The Two-Phase Algorithm and Complexity Analysis. Automatic Verification Methods for Finite State Systems (1989)
Ganesh Gopalakrishnan, Narayana Mani, Venkatesh Akella
Parallel Composition of Lockstep Synchronous Processes for Hardware Validation: Divide-and-Conquer Composition. Automatic Verification Methods for Finite State Systems (1989)
Susanne Graf, Jean-Luc Richier, Carlos Rodriguez, Jacques Voiron
What are the Limits of Model Checking Methods for the Verification of Real Life Protocols? Automatic Verification Methods for Finite State Systems (1989)
Pierre Wolper, Vinciane Lovinfosse
Verifying Properties of Large Sets of Processes with Network Invariants. Automatic Verification Methods for Finite State Systems (1989)
Colin Stirling, David Walker
CCS, Liveness, and Local Model Checking in the Linear Time Mu-Calculus. Automatic Verification Methods for Finite State Systems (1989)
Claude Jard, Thierry Jéron
On-Line Model Checking for Finite Linear Temporal Logic Specifications. Automatic Verification Methods for Finite State Systems (1989)
Kim Guldstrand Larsen
Modal Specifications. Automatic Verification Methods for Finite State Systems (1989)
André Arnold
MEC: A System for Constructing and Analysing Transition Systems. Automatic Verification Methods for Finite State Systems (1989)
Rance Cleaveland, Joachim Parrow, Bernhard Steffen
The Concurrency Workbench. Automatic Verification Methods for Finite State Systems (1989)
Heiko Krumm
Projections of the Reachability Graph and Environment Models. Automatic Verification Methods for Finite State Systems (1989)
Howard Barringer, Michael Fisher, Graham Gough
Fair SMG and Linear Time Model Checking. Automatic Verification Methods for Finite State Systems (1989)
Olivier Coudert, Christian Berthet, Jean Christophe Madre
Verification of Synchronous Sequential Machines Based on Symbolic Execution. Automatic Verification Methods for Finite State Systems (1989)
Jerry R. Burch
Combining CTL, Trace Theory and Timing Models. Automatic Verification Methods for Finite State Systems (1989)