Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > ModelEd, TestEd, TrustEd: Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday > FlyFast: A Scalable Approach to Probabilistic Model-Checking Based on Mean-Field Approximation
ModelEd, TestEd, TrustEd: Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday |
Joost-Pieter Katoen; Rom Langerak; Arend Rensink
Springer International Publishing
ModelEd, TestEd, TrustEd: Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday
FlyFast: A Scalable Approach to Probabilistic Model-Checking Based on Mean-Field Approximation
Authors

Diego Latella; Michele Loreti; Mieke Massink

ARI Id

1665082308960_4750251

Access

Not Available Free

Pages

254-275

DOI

10.1007/978-3-319-68270-9_13

Chapter URL

https://rd.springer.com/chapter/10.1007/978-3-319-68270-9_13

Table of Contents of Book
Showing 1 to 20 of 27 entries
Chapters/HeadingsAuthor(s)PagesInfo
Front Matter
I-XII
Front Matter
1-1
From LOTOS to LNT
Hubert Garavel; Frédéric Lang; Wendelin Serwe
3-26
LOTOS-Like Composition of Boolean Nets and Causal Set Construction
Tommaso Bolognesi
27-47
Problem Solving Using Process Algebra Considered Insightful
Jan Friso Groote; Erik P. de Vink
48-63
Delayed-Choice Semantics for Pomset Families and Message Sequence Graphs
Clemens Dubslaff; Christel Baier
64-84
Front Matter
85-85
On the Existence of Practical Testers
Jan Tretmans
87-106
Compositional Testing of Real-Time Systems
Kim G. Larsen; Axel Legay; Marius Mikučionis; Brian Nielsen; Ulrik Nyman
107-124
Model-Based Testing Without Models: The TodoMVC Case Study
Alexander Bainczyk; Alexander Schieweck; Bernhard Steffen; Falk Howar
125-144
Diagnosis and Testing: How is Their Relation? Can They Be Combined?
Laura Brandán Briones; Agnes Madalinski
145-165
Front Matter
167-167
Verifying Properties of Systems Relying on Attribute-Based Communication
Rocco De Nicola; Tan Duong; Omar Inverso; Franco Mazzanti
169-190
How Much Are Your Geraniums? Taking Graph Conditions Beyond First Order
Arend Rensink
191-213
iDSL: Automated Performance Evaluation of Service-Oriented Systems
Freek van den Berg; Boudewijn R. Haverkort; Jozef Hooman
214-236
Front Matter
237-237
Against All Odds: When Logic Meets Probability
Johan van Benthem
239-253
FlyFast: A Scalable Approach to Probabilistic Model-Checking Based on Mean-Field Approximation
Diego Latella; Michele Loreti; Mieke Massink
254-275
The Road from Stochastic Automata to the Simulation of Rare Events
Pedro R. D’Argenio; Carlos E. Budde; Matias David Lee; Raúl E. Monti; Leonardo Rodríguez; Nicolás Wolovick
276-294
Front Matter
295-295
Chapters/HeadingsAuthor(s)PagesInfo
Showing 1 to 20 of 27 entries
Similar Books
Similar Chapters
Similar Thesis

Similar News

Similar Articles
Similar Article Headings