Probabilistic Model Checking of Regenerative Concurrent Systems.

Marco Paolieri András Horváth Enrico Vicario

Published in: IEEE Trans. Software Eng. (2016)

Keyphrases

concurrent systems
model checking
temporal logic
process algebra
transition systems
formal specification
formal verification

temporal properties
model checker
finite state
automated verification
formal methods
verification method
pspace complete

bounded model checking
linear temporal logic
computation tree logic
symbolic model checking
timed automata
asynchronous circuits

reachability analysis
markov chain
distributed systems
epistemic logic
satisfiability problem
bayesian networks