↓ Skip to main content

Model Checking Software

Overview of attention for book
Cover of 'Model Checking Software'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Automated Analysis of Asynchronously Communicating Systems
  3. Altmetric Badge
    Chapter 2 Symbolic Game Semantics for Model Checking Program Families
  4. Altmetric Badge
    Chapter 3 Compositional Semantics and Analysis of Hierarchical Block Diagrams
  5. Altmetric Badge
    Chapter 4 Using SPIN for the Optimized Scheduling of Discrete Event Systems in Manufacturing
  6. Altmetric Badge
    Chapter 5 River Basin Management with Spin
  7. Altmetric Badge
    Chapter 6 ESBMC \(^{QtOM}\) : A Bounded Model Checking Tool to Verify Qt Applications
  8. Altmetric Badge
    Chapter 7 Autonomous Agent Behaviour Modelled in PRISM – A Case Study
  9. Altmetric Badge
    Chapter 8 Certification for \(\mu \) -Calculus with Winning Strategies
  10. Altmetric Badge
    Chapter 9 Real-Time Strategy Synthesis for Timed-Arc Petri Net Games via Discretization
  11. Altmetric Badge
    Chapter 10 Finite-Horizon Bisimulation Minimisation for Probabilistic Systems
  12. Altmetric Badge
    Chapter 11 Schedulability Analysis of Distributed Real-Time Sensor Network Applications Using Actor-Based Model Checking
  13. Altmetric Badge
    Chapter 12 smid: A Black-Box Program Driver
  14. Altmetric Badge
    Chapter 13 On-the-Fly Model Checking for Extended Action-Based Probabilistic Operators
  15. Altmetric Badge
    Chapter 14 SymDIVINE: Tool for Control-Explicit Data-Symbolic State Space Exploration
  16. Altmetric Badge
    Chapter 15 A Tool Integrating Model Checking into a C Verification Toolset
  17. Altmetric Badge
    Chapter 16 Fair Testing and Stubborn Sets
Attention for Chapter 8: Certification for \(\mu \) -Calculus with Winning Strategies
Altmetric Badge

Citations

dimensions_citation
3 Dimensions

Readers on

mendeley
3 Mendeley
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.
Chapter title
Certification for \(\mu \) -Calculus with Winning Strategies
Chapter number 8
Book title
Model Checking Software
Published by
Springer International Publishing, January 2016
DOI 10.1007/978-3-319-32582-8_8
Book ISBNs
978-3-31-932581-1, 978-3-31-932582-8
Authors

Martin Hofmann, Christian Neukirchen, Harald Rueß

Editors

Dragan Bošnački, Anton Wijs

Mendeley readers

Mendeley readers

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

Geographical breakdown

Country Count As %
Japan 1 33%
Unknown 2 67%

Demographic breakdown

Readers by professional status Count As %
Student > Ph. D. Student 2 67%
Researcher 1 33%
Readers by discipline Count As %
Computer Science 3 100%