The Resource Automatic verification methods for finite state systems : international workshop, Grenoble, France, June 12-14, 1989 : proceedings, J. Sifakis (Ed.)
Automatic verification methods for finite state systems : international workshop, Grenoble, France, June 12-14, 1989 : proceedings, J. Sifakis (Ed.)
Resource Information
The item Automatic verification methods for finite state systems : international workshop, Grenoble, France, June 12-14, 1989 : proceedings, J. Sifakis (Ed.) represents a specific, individual, material embodiment of a distinct intellectual or artistic creation found in University of Missouri Libraries.This item is available to borrow from 1 library branch.
Resource Information
The item Automatic verification methods for finite state systems : international workshop, Grenoble, France, June 12-14, 1989 : proceedings, J. Sifakis (Ed.) represents a specific, individual, material embodiment of a distinct intellectual or artistic creation found in University of Missouri Libraries.
This item is available to borrow from 1 library branch.
- Summary
- This volume contains the proceedings of a workshop held in Grenoble in June 1989. This was the first workshop entirely devoted to the verification of finite state systems. The workshop brought together researchers and practitioners interested in the development and use of methods, tools and theories for automatic verification of finite state systems. The goal at the workshop was to compare verification methods and tools to assist the applications designer. The papers in this volume review verification techniques for finite state systems and evaluate their relative advantages. The techniques considered cover various specification formalisms such as process algebras, automata and logics. Most of the papers focus on exploitation of existing results in three application areas: hardware design, communication protocols and real-time systems
- Language
- eng
- Extent
- 1 online resource (vii, 382 pages)
- Contents
-
- Process calculi, from theory to practice: Verification tools
- Testing equivalence as a bisimulation equivalence
- The concurrency workbench
- Argonaute: Graphical description, semantics and verification of reactive systems by using a process algebra
- Using the axiomatic presentation of behavioural equivalences for manipulating CCS specifications
- Verifying properties of large sets of processes with network invariants
- A method for verification of trace and test equivalence
- Projections of the reachability graph and environment models
- Proving properties of elementary net systems with a special-purpose theorem prover
- Verification by abstraction and bisimulation
- MEC : a system for constructing and analysing transition systems
- Fair SMG and linear time model checking
- Network grammars, communication behaviors and automatic verification
- CCS, liveness, and local model checking in the linear time mu-calculus
- Implementing a model checking algorithm by adapting existing automated tools
- On-line model-checking for finite linear temporal logic specifications
- Timing assumptions and verification of finite-state concurrent systems
- Specifying, programming and verifying real-time systems using a synchronous declarative language
- Modal specifications
- Automated verification of timed transition models
- Temporal logic case study
- The complexity of collapsing reachability graphs
- What are the limits of model checking methods for the verification of real life protocols?
- Requirement analysis for communication protocols
- State exploration by transformation with lola
- Parallel protocol verification: The two-phase algorithm and complexity analysis
- Formal verification of synchronous circuits based on string-functional semantics: The 7 paillet circuits in boyer-moore
- Combining CTL, trace theory and timing models
- Localized verification of circuit descriptions
- Verification of synchronous sequential machines based on symbolic execution
- Parallel composition of lockstep synchronous processes for hardware validation: Divide-and-conquer composition
- Isbn
- 9783540469056
- Label
- Automatic verification methods for finite state systems : international workshop, Grenoble, France, June 12-14, 1989 : proceedings
- Title
- Automatic verification methods for finite state systems
- Title remainder
- international workshop, Grenoble, France, June 12-14, 1989 : proceedings
- Statement of responsibility
- J. Sifakis (Ed.)
- Subject
-
- Computer network protocols
- Computer network protocols
- Computer network protocols -- Congresses
- Conference papers and proceedings
- Conference papers and proceedings
- Endlicher Automat
- Grenoble <1989>
- Protocoles de réseaux d'ordinateurs -- Congrès
- Protocoles de réseaux d'ordinateurs -- Congrès
- Verifikation
- Language
- eng
- Summary
- This volume contains the proceedings of a workshop held in Grenoble in June 1989. This was the first workshop entirely devoted to the verification of finite state systems. The workshop brought together researchers and practitioners interested in the development and use of methods, tools and theories for automatic verification of finite state systems. The goal at the workshop was to compare verification methods and tools to assist the applications designer. The papers in this volume review verification techniques for finite state systems and evaluate their relative advantages. The techniques considered cover various specification formalisms such as process algebras, automata and logics. Most of the papers focus on exploitation of existing results in three application areas: hardware design, communication protocols and real-time systems
- Action
- digitized
- Cataloging source
- OCLCE
- Dewey number
- 004.6/2
- Illustrations
- illustrations
- Index
- no index present
- LC call number
- TK5105.5
- LC item number
- .A97 1990
- Literary form
- non fiction
- Nature of contents
-
- dictionaries
- bibliography
- http://library.link/vocab/relatedWorkOrContributorDate
- 1946-
- http://library.link/vocab/relatedWorkOrContributorName
- Sifakis, J.
- Series statement
- Lecture notes in computer science
- Series volume
- 407
- http://library.link/vocab/subjectName
-
- Computer network protocols
- Protocoles de réseaux d'ordinateurs
- Computer network protocols
- Endlicher Automat
- Verifikation
- Protocoles de réseaux d'ordinateurs
- Grenoble <1989>
- Label
- Automatic verification methods for finite state systems : international workshop, Grenoble, France, June 12-14, 1989 : proceedings, J. Sifakis (Ed.)
- Antecedent source
- file reproduced from original
- Bibliography note
- Includes bibliographical references
- Carrier category
- online resource
- Carrier category code
-
- cr
- Carrier MARC source
- rdacarrier
- Color
- black and white
- Content category
- text
- Content type code
-
- txt
- Content type MARC source
- rdacontent
- Contents
- Process calculi, from theory to practice: Verification tools -- Testing equivalence as a bisimulation equivalence -- The concurrency workbench -- Argonaute: Graphical description, semantics and verification of reactive systems by using a process algebra -- Using the axiomatic presentation of behavioural equivalences for manipulating CCS specifications -- Verifying properties of large sets of processes with network invariants -- A method for verification of trace and test equivalence -- Projections of the reachability graph and environment models -- Proving properties of elementary net systems with a special-purpose theorem prover -- Verification by abstraction and bisimulation -- MEC : a system for constructing and analysing transition systems -- Fair SMG and linear time model checking -- Network grammars, communication behaviors and automatic verification -- CCS, liveness, and local model checking in the linear time mu-calculus -- Implementing a model checking algorithm by adapting existing automated tools -- On-line model-checking for finite linear temporal logic specifications -- Timing assumptions and verification of finite-state concurrent systems -- Specifying, programming and verifying real-time systems using a synchronous declarative language -- Modal specifications -- Automated verification of timed transition models -- Temporal logic case study -- The complexity of collapsing reachability graphs -- What are the limits of model checking methods for the verification of real life protocols? -- Requirement analysis for communication protocols -- State exploration by transformation with lola -- Parallel protocol verification: The two-phase algorithm and complexity analysis -- Formal verification of synchronous circuits based on string-functional semantics: The 7 paillet circuits in boyer-moore -- Combining CTL, trace theory and timing models -- Localized verification of circuit descriptions -- Verification of synchronous sequential machines based on symbolic execution -- Parallel composition of lockstep synchronous processes for hardware validation: Divide-and-conquer composition
- Control code
- 645267003
- Dimensions
- unknown
- Extent
- 1 online resource (vii, 382 pages)
- Form of item
- online
- Isbn
- 9783540469056
- Level of compression
-
- lossless
- lossy
- Media category
- computer
- Media MARC source
- rdamedia
- Media type code
-
- c
- Other physical details
- illustrations.
- Reformatting quality
-
- preservation
- access
- Reproduction note
- Electronic reproduction.
- Specific material designation
- remote
- System control number
- (OCoLC)645267003
- System details
- Master and use copy. Digital master created according to Benchmark for Faithful Digital Reproductions of Monographs and Serials, Version 1. Digital Library Federation, December 2002.
- Label
- Automatic verification methods for finite state systems : international workshop, Grenoble, France, June 12-14, 1989 : proceedings, J. Sifakis (Ed.)
- Antecedent source
- file reproduced from original
- Bibliography note
- Includes bibliographical references
- Carrier category
- online resource
- Carrier category code
-
- cr
- Carrier MARC source
- rdacarrier
- Color
- black and white
- Content category
- text
- Content type code
-
- txt
- Content type MARC source
- rdacontent
- Contents
- Process calculi, from theory to practice: Verification tools -- Testing equivalence as a bisimulation equivalence -- The concurrency workbench -- Argonaute: Graphical description, semantics and verification of reactive systems by using a process algebra -- Using the axiomatic presentation of behavioural equivalences for manipulating CCS specifications -- Verifying properties of large sets of processes with network invariants -- A method for verification of trace and test equivalence -- Projections of the reachability graph and environment models -- Proving properties of elementary net systems with a special-purpose theorem prover -- Verification by abstraction and bisimulation -- MEC : a system for constructing and analysing transition systems -- Fair SMG and linear time model checking -- Network grammars, communication behaviors and automatic verification -- CCS, liveness, and local model checking in the linear time mu-calculus -- Implementing a model checking algorithm by adapting existing automated tools -- On-line model-checking for finite linear temporal logic specifications -- Timing assumptions and verification of finite-state concurrent systems -- Specifying, programming and verifying real-time systems using a synchronous declarative language -- Modal specifications -- Automated verification of timed transition models -- Temporal logic case study -- The complexity of collapsing reachability graphs -- What are the limits of model checking methods for the verification of real life protocols? -- Requirement analysis for communication protocols -- State exploration by transformation with lola -- Parallel protocol verification: The two-phase algorithm and complexity analysis -- Formal verification of synchronous circuits based on string-functional semantics: The 7 paillet circuits in boyer-moore -- Combining CTL, trace theory and timing models -- Localized verification of circuit descriptions -- Verification of synchronous sequential machines based on symbolic execution -- Parallel composition of lockstep synchronous processes for hardware validation: Divide-and-conquer composition
- Control code
- 645267003
- Dimensions
- unknown
- Extent
- 1 online resource (vii, 382 pages)
- Form of item
- online
- Isbn
- 9783540469056
- Level of compression
-
- lossless
- lossy
- Media category
- computer
- Media MARC source
- rdamedia
- Media type code
-
- c
- Other physical details
- illustrations.
- Reformatting quality
-
- preservation
- access
- Reproduction note
- Electronic reproduction.
- Specific material designation
- remote
- System control number
- (OCoLC)645267003
- System details
- Master and use copy. Digital master created according to Benchmark for Faithful Digital Reproductions of Monographs and Serials, Version 1. Digital Library Federation, December 2002.
Subject
- Computer network protocols
- Computer network protocols
- Computer network protocols -- Congresses
- Conference papers and proceedings
- Conference papers and proceedings
- Endlicher Automat
- Grenoble <1989>
- Protocoles de réseaux d'ordinateurs -- Congrès
- Protocoles de réseaux d'ordinateurs -- Congrès
- Verifikation
Genre
Member of
Library Links
Embed
Settings
Select options that apply then copy and paste the RDF/HTML data fragment to include in your application
Embed this data in a secure (HTTPS) page:
Layout options:
Include data citation:
<div class="citation" vocab="http://schema.org/"><i class="fa fa-external-link-square fa-fw"></i> Data from <span resource="http://link.library.missouri.edu/portal/Automatic-verification-methods-for-finite-state/aegmkJ4p4p4/" typeof="Book http://bibfra.me/vocab/lite/Item"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.library.missouri.edu/portal/Automatic-verification-methods-for-finite-state/aegmkJ4p4p4/">Automatic verification methods for finite state systems : international workshop, Grenoble, France, June 12-14, 1989 : proceedings, J. Sifakis (Ed.)</a></span> - <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.library.missouri.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.library.missouri.edu/">University of Missouri Libraries</a></span></span></span></span></div>
Note: Adjust the width and height settings defined in the RDF/HTML code fragment to best match your requirements
Preview
Cite Data - Experimental
Data Citation of the Item Automatic verification methods for finite state systems : international workshop, Grenoble, France, June 12-14, 1989 : proceedings, J. Sifakis (Ed.)
Copy and paste the following RDF/HTML data fragment to cite this resource
<div class="citation" vocab="http://schema.org/"><i class="fa fa-external-link-square fa-fw"></i> Data from <span resource="http://link.library.missouri.edu/portal/Automatic-verification-methods-for-finite-state/aegmkJ4p4p4/" typeof="Book http://bibfra.me/vocab/lite/Item"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.library.missouri.edu/portal/Automatic-verification-methods-for-finite-state/aegmkJ4p4p4/">Automatic verification methods for finite state systems : international workshop, Grenoble, France, June 12-14, 1989 : proceedings, J. Sifakis (Ed.)</a></span> - <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.library.missouri.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.library.missouri.edu/">University of Missouri Libraries</a></span></span></span></span></div>