Amanote Research
Register
Sign In
Advances and Challenges of Probabilistic Model Checking
doi 10.1109/allerton.2010.5707120
Full Text
Open PDF
Abstract
Available in
full text
Date
September 1, 2010
Authors
Marta Kwiatkowska
Gethin Norman
David Parker
Publisher
IEEE
Related search
Counterexamples in Probabilistic Model Checking
Model Checking for Probabilistic Timed Automata
Formal Methods in System Design
Hardware
Theoretical Computer Science
Architecture
Software
Probabilistic Model Checking of Regenerative Concurrent Systems
IEEE Transactions on Software Engineering
Software
Dual-Processor Parallelisation of Symbolic Probabilistic Model Checking
Probabilistic Model Checking and Non-Standard Multi-Objective Reasoning
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Validation of Service Level Agreements Using Probabilistic Model Checking
Extrapolation of an Optimal Policy Using Statistical Probabilistic Model Checking
Fundamenta Informaticae
Information Systems
Algebra
Number Theory
Mathematics
Computational Theory
Theoretical Computer Science
Interpreting Models of Social Group Interactions in Meetings With Probabilistic Model Checking
On the Use of Probabilistic Model-Checking for the Verification of Prognostics Applications
