A general SOS theory for the specification of probabilistic transition systems.

Pedro R. D'Argenio Daniel Gebler Matias David Lee

Published in: Inf. Comput. (2016)

Keyphrases

transition systems
model checking
temporal logic
concurrent systems
control flow
practical reasoning
finite state
bayesian networks
model checker
formal specification
probability theory
reactive systems