| Chapter title |
Fluid Model-Checking in UPPAAL for Covid-19
|
|---|---|
| Chapter number | 22 |
| Book title |
Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles
|
| Published by |
Springer, Cham, October 2020
|
| DOI | 10.1007/978-3-030-61362-4_22 |
| Book ISBNs |
978-3-03-061361-7, 978-3-03-061362-4
|
| Authors |
Peter G. Jensen, Kenneth Y. Jørgensen, Kim G. Larsen, Marius Mikučionis, Marco Muñiz, Danny B. Poulsen, Jensen, Peter G., Jørgensen, Kenneth Y., Larsen, Kim G., Mikučionis, Marius, Muñiz, Marco, Poulsen, Danny B. |
Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles
Overview of attention for book
Table of Contents
-
Altmetric BadgeBook Overview
-
Altmetric BadgeChapter 1 Who Carries the Burden of Modularity?
-
Altmetric BadgeChapter 2 On Testing Message-Passing Components
-
Altmetric BadgeChapter 3 Composing Communicating Systems, Synchronously
-
Altmetric BadgeChapter 4 Modular Verification of JML Contracts Using Bounded Model Checking
-
Altmetric BadgeChapter 5 On Slicing Software Product Line Signatures
-
Altmetric BadgeChapter 6 Assumption-Commitment Types for Resource Management in Virtually Timed Ambients
-
Altmetric BadgeChapter 7 Abstraction and Genericity in Why3
-
Altmetric BadgeChapter 8 Verification Artifacts in Cooperative Verification: Survey and Unifying Component Framework
-
Altmetric BadgeChapter 9 An Interface Theory for Program Verification
-
Altmetric BadgeChapter 10 Scaling Correctness-by-Construction
-
Altmetric BadgeChapter 11 X-by-Construction
-
Altmetric BadgeChapter 12 Correctness by Construction for Probabilistic Programs
-
Altmetric BadgeChapter 13 Components in Probabilistic Systems: Suitable by Construction
-
Altmetric BadgeChapter 14 Behavioral Specification Theories: An Algebraic Taxonomy
-
Altmetric BadgeChapter 15 Approximating Euclidean by Imprecise Markov Decision Processes
-
Altmetric BadgeChapter 16 Shield Synthesis for Reinforcement Learning
-
Altmetric BadgeChapter 17 Inferring Performance from Code: A Review
-
Altmetric BadgeChapter 18 30 Years of Statistical Model Checking
-
Altmetric BadgeChapter 19 Statistical Model Checking: Black or White?
-
Altmetric BadgeChapter 20 Probabilistic Mission Planning and Analysis for Multi-agent Systems
-
Altmetric BadgeChapter 21 30 Years of Simulation-Based Quantitative Analysis Tools: A Comparison Experiment Between Möbius and Uppaal SMC
-
Altmetric BadgeChapter 22 Fluid Model-Checking in UPPAAL for Covid-19
-
Altmetric BadgeChapter 23 Improving Secure and Robust Patient Service Delivery
-
Altmetric BadgeChapter 24 Verification and Validation of Concurrent and Distributed Systems (Track Summary)
-
Altmetric BadgeChapter 25 Step-Wise Development of Provably Correct Actor Systems
-
Altmetric BadgeChapter 26 Violation Witnesses and Result Validation for Multi-Threaded Programs
-
Altmetric BadgeChapter 27 Tendermint Blockchain Synchronization: Formal Specification and Model Checking
-
Altmetric BadgeChapter 28 Safe Sessions of Channel Actions in Clojure: A Tour of the Discourje Project
-
Altmetric BadgeChapter 29 Modular Verification of Liveness Properties of the I/O Behavior of Imperative Programs
-
Altmetric BadgeChapter 30 Formal Verification of an Industrial Distributed Algorithm: An Experience Report
-
Altmetric BadgeChapter 31 Deploying TESTAR to Enable Remote Testing in an Industrial CI Pipeline: A Case-Based Evaluation
-
Altmetric BadgeChapter 32 A Formal Model of the Kubernetes Container Framework
Altmetric Badge