Model checking of probabilistic and nondeterministic systems

other

Author(s): Andrea Bianco , Luca Alfaro

Publication date (Online): May 31 2005

Publisher: Springer Berlin Heidelberg

Read this book at

Publisher

Buy book

Bookmark

There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.

Related collections

Author and book information

Book Chapter

Publication date (Print): 1995

Publication date (Online): May 31 2005

Pages: 499-513

DOI: 10.1007/3-540-60692-0_70

SO-VID: db4a2854-cabb-4b6f-90dd-505446360e33

History

Data availability:

Comments

Comment on this book

Book chapters

Cited by 94

Probabilistic symbolic model checking with PRISM: a hybrid approach
Authors: Gethin Norman, David Parker, Marta Kwiatkowska
Automatic verification of real-time systems with discrete probability distributions
Authors: Marta Kwiatkowska, Gethin Norman, Roberto Segala …
Approximative Symbolic Model Checking of Continuous-Time Markov Chains
Authors: Christel Baier, Joost-Pieter Katoen, Holger Hermanns

See all cited by