↓ Skip to main content
What is this page? Embed badge

Automatic Verification Methods for Finite State Systems

Overview of attention for book
Cover of 'Automatic Verification Methods for Finite State Systems'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Process calculi, from theory to practice: Verification tools
  3. Altmetric Badge
    Chapter 2 Testing equivalence as a bisimulation equivalence
  4. Altmetric Badge
    Chapter 3 The concurrency workbench
  5. Altmetric Badge
    Chapter 4 Argonaute: Graphical description, semantics and verification of reactive systems by using a process algebra
  6. Altmetric Badge
    Chapter 5 Using the axiomatic presentation of behavioural equivalences for manipulating CCS specifications
  7. Altmetric Badge
    Chapter 6 Verifying properties of large sets of processes with network invariants
  8. Altmetric Badge
    Chapter 7 A method for verification of trace and test equivalence
  9. Altmetric Badge
    Chapter 8 Projections of the reachability graph and environment models
  10. Altmetric Badge
    Chapter 9 Proving properties of elementary net systems with a special-purpose theorem prover
  11. Altmetric Badge
    Chapter 10 Verification by abstraction and bisimulation
  12. Altmetric Badge
    Chapter 11 MEC : a system for constructing and analysing transition systems
  13. Altmetric Badge
    Chapter 12 Automatic Verification Methods for Finite State Systems
  14. Altmetric Badge
    Chapter 13 Network grammars, communication behaviors and automatic verification
  15. Altmetric Badge
    Chapter 14 CCS, liveness, and local model checking in the linear time mu-calculus
  16. Altmetric Badge
    Chapter 15 Implementing a model checking algorithm by adapting existing automated tools
  17. Altmetric Badge
    Chapter 16 On-line model-checking for finite linear temporal logic specifications
  18. Altmetric Badge
    Chapter 17 Timing assumptions and verification of finite-state concurrent systems
  19. Altmetric Badge
    Chapter 18 Specifying, programming and verifying real-time systems using a synchronous declarative language
  20. Altmetric Badge
    Chapter 19 Modal specifications
  21. Altmetric Badge
    Chapter 20 Automated verification of timed transition models
  22. Altmetric Badge
    Chapter 21 Temporal logic case study
  23. Altmetric Badge
    Chapter 22 The complexity of collapsing reachability graphs
  24. Altmetric Badge
    Chapter 23 What are the limits of model checking methods for the verification of real life protocols?
  25. Altmetric Badge
    Chapter 24 Requirement analysis for communication protocols
  26. Altmetric Badge
    Chapter 25 State exploration by transformation with lola
  27. Altmetric Badge
    Chapter 26 Parallel protocol verification: The two-phase algorithm and complexity analysis
  28. Altmetric Badge
    Chapter 27 Formal verification of synchronous circuits based on string-functional semantics: The 7 paillet circuits in boyer-moore
  29. Altmetric Badge
    Chapter 28 Combining CTL, trace theory and timing models
  30. Altmetric Badge
    Chapter 29 Localized verification of circuit descriptions
  31. Altmetric Badge
    Chapter 30 Verification of synchronous sequential machines based on symbolic execution
  32. Altmetric Badge
    Chapter 31 Parallel composition of lockstep synchronous processes for hardware validation: Divide-and-conquer composition
Overall attention for this book and its chapters
Altmetric Badge

Mentioned by

twitter
1 X user
wikipedia
1 Wikipedia page

Citations

dimensions_citation
13 Dimensions

Readers on

mendeley
6 Mendeley
Summary X Wikipedia Dimensions citations
You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output. Click here to find out more.
Title
Automatic Verification Methods for Finite State Systems
Published by
Springer Berlin Heidelberg, January 2006
DOI 10.1007/3-540-52148-8
ISBNs
978-3-54-052148-8, 978-3-54-046905-6
Editors

Sifakis, Joseph

View on publisher site
X Demographics

X Demographics

The data shown below were collected from the profile of 1 X user who shared this research output. Click here to find out more about how the information was compiled.
 Mendeley readers

Mendeley readers

The data shown below were compiled from readership statistics for 6 Mendeley readers of this research output. Click here to see the associated Mendeley record.

Geographical breakdown

Country Count As %
France 1 17%
Unknown 5 83%

Demographic breakdown

Readers by professional status Count As %
Student > Ph. D. Student 3 50%
Student > Postgraduate 1 17%
Student > Master 1 17%
Professor > Associate Professor 1 17%
Readers by discipline Count As %
Computer Science 6 100%

This page is provided by Altmetric.