A Sound and Complete Refinement Relation for Non-reducible Modal Transition Systems.

Published in: CoRR (2023)

Keyphrases

transition systems
model checking
temporal logic
concurrent systems
finite state
control flow
practical reasoning
reactive systems
modal logic
model checker
markov chain
data flow
dynamic programming
petri net
distributed systems
markov decision processes
software engineering