Amanote Research
Register
Sign In
Dual-Processor Parallelisation of Symbolic Probabilistic Model Checking
doi 10.1109/mascot.2004.1348189
Full Text
Open PDF
Abstract
Available in
full text
Date
Unknown
Authors
M. Kwiatkowska
D. Parker
R. Mehmood
Publisher
IEEE
Related search
Model Checking the Biological Model of Membrane Computing With Probabilistic Symbolic Model Checker by Using Two Biological Systems
Journal of Computer Science
Computer Networks
Software
Artificial Intelligence
Communications
Conformant Planning via Symbolic Model Checking
Journal of Artificial Intelligence Research
Artificial Intelligence
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
Symbolic Model Checking for Simply-Timed Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Advances and Challenges of Probabilistic Model Checking
Generalized Symbolic Execution for Model Checking and Testing
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Validation of Service Level Agreements Using Probabilistic Model Checking
