Automatic Verification Methods for Finite State Systems - researchr conference series publications

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 32 from 32

1990

Automatic Verification Methods for Finite State Systems, International Workshop, Grenoble, France, June 12-14, 1989, ProceedingsJoseph Sifakis, editor, Volume 407 of Lecture Notes in Computer Science, Springer, 1990.

1989

The Complexity of Collapsing Reachability GraphsSudhir Aggarwal, Daniel Barbará, Walter Cunto, M. R. Garey. avmfss 1990: 264-274

MEC: A System for Constructing and Analysing Transition SystemsAndré Arnold. avmfss 1990: 117-132

Requirement Analysis for Communication ProtocolsPierre Azéma, François Vernadat, Jean Christophe Lloret. avmfss 1990: 286-293

Fair SMG and Linear Time Model CheckingHoward Barringer, Michael Fisher, Graham Gough. avmfss 1990: 133-150

Process Calculi, from Theory to Practice: Verification ToolsGérard Boudol, Valérie Roy, Robert de Simone, Didier Vergamini. avmfss 1990: 1-10

Formal Verification of Synchronous Circuits based on String-Functional Semantics: The 7 Paillet Circuits in Boyer-MooreAlexandre Bronstein, Carolyn L. Talcott. avmfss 1990: 317-333

Combining CTL, Trace Theory and Timing ModelsJerry R. Burch. avmfss 1990: 334-348

A Method for Verification of Trace and Test EquivalenceIvan Christoff. avmfss 1990: 81-88

Testing Equivalence as a Bisimulation EquivalenceRance Cleaveland, Matthew Hennessy. avmfss 1990: 11-23

The Concurrency WorkbenchRance Cleaveland, Joachim Parrow, Bernhard Steffen. avmfss 1990: 24-37

Verification of Synchronous Sequential Machines Based on Symbolic ExecutionOlivier Coudert, Christian Berthet, Jean Christophe Madre. avmfss 1990: 365-373

Timing Assumptions and Verification of Finite-State Concurrent SystemsDavid L. Dill. avmfss 1990: 197-212

Network Grammars, Communication Behaviors and Automatic VerificationZe ev Shtadler, Orna Grumberg. avmfss 1990: 151-165

Parallel Composition of Lockstep Synchronous Processes for Hardware Validation: Divide-and-Conquer CompositionGanesh Gopalakrishnan, Narayana Mani, Venkatesh Akella. avmfss 1990: 374-382

What are the Limits of Model Checking Methods for the Verification of Real Life Protocols?Susanne Graf, Jean-Luc Richier, Carlos Rodriguez, Jacques Voiron. avmfss 1990: 275-285

Specifying, Programming and Verifying Real-Time Systems Using a Synchronous Declarative LanguageNicolas Halbwachs, Daniel Pilaud, Farid Ouabdesselam, A.-C. Glory. avmfss 1990: 213-231

On-Line Model Checking for Finite Linear Temporal Logic SpecificationsClaude Jard, Thierry Jéron. avmfss 1990: 189-196

Implementing a Model Checking Algorithm by Adapting Existing Automated ToolsBengt Jonsson, Ahmed Hussain Khan, Joachim Parrow. avmfss 1990: 179-188

Projections of the Reachability Graph and Environment ModelsHeiko Krumm. avmfss 1990: 89-96

Modal SpecificationsKim Guldstrand Larsen. avmfss 1990: 232-246

Argonaute: Graphical Description, Semantics and Verification of Reactive Systems by Using a Process AlgebraFlorence Maraninchi. avmfss 1990: 38-53

Using the Adxiomatic Presentation of Behavioural Equivalences for Manipulating CCS SpecificationsRocco De Nicola, Paola Inverardi, Monica Nesi. avmfss 1990: 54-67

Automated Verification of Timed Transition ModelsJonathan S. Ostroff. avmfss 1990: 247-256

State Exploration by Transformation with LOLAJuan Quemada, Santiago Pavón, Angel Fernández. avmfss 1990: 294-302

Localized Verification of Circuit DescriptionsJørgen Staunstrup, Stephen J. Garland, John V. Guttag. avmfss 1990: 349-364

CCS, Liveness, and Local Model Checking in the Linear Time Mu-CalculusColin Stirling, David Walker. avmfss 1990: 166-178

Proving Properties of Elementary Net Systems with a Special-Purpose Theorem ProverHeikki Tuominen. avmfss 1990: 97-104

Verifying Properties of Large Sets of Processes with Network InvariantsPierre Wolper, Vinciane Lovinfosse. avmfss 1990: 68-80

Temporal Logic Case StudyWilliam G. Wood. avmfss 1990: 257-263

Parallel Protocol Verification: The Two-Phase Algorithm and Complexity AnalysisMaria C. Yuang, Aaron Kershenbaum. avmfss 1990: 303-316

Verification by Abstraction and BisimulationHan Zuidweg. avmfss 1990: 105-116

Links

Filter by Year
OR AND NOT 1

Filter by Tag

[+]
OR AND NOT 1

Filter by Author

[+]
OR AND NOT 1

Filter by Top terms

[+]
OR AND NOT 1

Automatic Verification Methods for Finite State Systems (avmfss)

Viewing Publication 1 - 32 from 32

1990

1989

Links

Filter by YearOR AND NOT 1

Filter by Tag [+]OR AND NOT 1

Filter by Author [+]OR AND NOT 1

Filter by Top terms [+]OR AND NOT 1

Automatic Verification Methods for Finite State Systems (avmfss)

Viewing Publication 1 - 32 from 32

1990

1989

Filter by Year
OR AND NOT 1

Filter by Tag

[+]
OR AND NOT 1

Filter by Author

[+]
OR AND NOT 1

Filter by Top terms

[+]
OR AND NOT 1