Infinitary Domain Logic for Finitary Transition Systems.

Marcello M. Bonsangue Joost N. Kok

Published in: TACS (1997)

Keyphrases

transition systems
finite state
model checking
temporal logic
concurrent systems
markov chain
domain independent
control flow
domain specific
practical reasoning
markov decision processes
model checker
data flow
formal specification
reactive systems