First Page | Document Content | |
---|---|---|
Date: 2013-10-21 17:08:31Statistics Applied mathematics SPIN model checker Mathematics Markov chain PRISM model checker Algorithm Probability Model checkers Markov models Theoretical computer science | Quan%ta%ve Verifica%on: Correctness, Reliability and Beyond Dave Parker University of BirminghamAdd to Reading ListSource URL: www.cs.bham.ac.ukDownload Document from Source WebsiteFile Size: 3,18 MBShare Document on Facebook |