Modeling and Analysis of Probabilistic Real-time Systems through Integrating Event-B and Probabilistic Model Checking.

Published in: Comput. Sci. (2022)

Keyphrases

model checking
real time systems
temporal logic
timed automata
reactive systems
bayesian networks
automated verification
temporal properties
finite state
real time
formal verification
epistemic logic
formal specification
state space
probabilistic reasoning
cooperative
abstract interpretation
computation tree logic