Formal Verification of Probabilistic Systems
| Author | : Luca De Alfaro |
| Publisher | : |
| Total Pages | : 244 |
| Release | : 1998 |
| ISBN-10 | : STANFORD:36105019700611 |
| ISBN-13 | : |
| Rating | : 4/5 (11 Downloads) |
Book Synopsis Formal Verification of Probabilistic Systems by : Luca De Alfaro
Download or read book Formal Verification of Probabilistic Systems written by Luca De Alfaro and published by . This book was released on 1998 with total page 244 pages. Available in PDF, EPUB and Kindle. Book excerpt: This dissertation presents methods for the formal modeling and specification of probabilistic systems, and algorithms for the automated verification of these systems. Our system models describe the behavior of a system in terms of probability, nondeterminism, fairness and time.
