Relating Paths in Transition Systems: The Fall of the Modal Mu-Calculus.

Catalin Dima Bastien Maubert Sophie Pinchinat

Published in: ACM Trans. Comput. Log. (2018)

Keyphrases

transition systems
model checking
temporal logic
concurrent systems
finite state
control flow
practical reasoning
reactive systems
model checker
shortest path
modal logic
artificial intelligence
markov chain
petri net
formal verification