Login / Signup
Performance Evaluation of Process Partitioning Using Probabilistic Model Checking.
Saddek Bensalem
Borzoo Bonakdarpour
Marius Bozga
Doron A. Peled
Jean Quilbeuf
Published in:
Haifa Verification Conference (2013)
Keyphrases
</>
model checking
temporal logic
temporal properties
formal verification
model checker
formal specification
finite state
concurrent systems
automated verification
pspace complete
asynchronous circuits
verification method
transition systems
bayesian networks
formal methods
computation tree logic