Residuated Transition Systems.

Eugene W. Stark

Published in: Arch. Formal Proofs (2022)

Keyphrases

transition systems
model checking
temporal logic
concurrent systems
finite state
practical reasoning
control flow
model checker
markov chain
reactive systems
petri net
artificial intelligence
case study
data flow
formal specification
fully observable