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

Modeling and Verification of Parallel Processes

Overview of attention for book
Cover of 'Modeling and Verification of Parallel Processes'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Model Checking: A Tutorial Overview
  3. Altmetric Badge
    Chapter 2 Theorem Proving for Verification
  4. Altmetric Badge
    Chapter 3 Composition and Abstraction
  5. Altmetric Badge
    Chapter 4 UPPAAL - Now, Next, and Future
  6. Altmetric Badge
    Chapter 5 HMSCs as Partial Specifications...with PNs as Completions
  7. Altmetric Badge
    Chapter 6 Industrial Applications of Model Checking
  8. Altmetric Badge
    Chapter 7 Formal Methods in Practice: The Missing Links. A Perspective from the Security Area
  9. Altmetric Badge
    Chapter 8 Verification of Systems with an Infinite State Space
  10. Altmetric Badge
    Chapter 9 Testing Transition Systems: An Annotated Bibliography
  11. Altmetric Badge
    Chapter 10 Fault Model-Driven Test Derivation from Finite State Models: Annotated Bibliography
  12. Altmetric Badge
    Chapter 11 Mobile Processes: A Commented Bibliography
Attention for Chapter 1: Model Checking: A Tutorial Overview
Altmetric Badge

Mentioned by

twitter
1 X user

Citations

dimensions_citation
6 Dimensions

Readers on

mendeley
167 Mendeley
Summary X Dimensions citations

This page is provided by Altmetric.