Branch-Well-Structured Transition Systems and Extensions.

Benedikt Bollig Alain Finkel Amrita Suresh

Published in: FORTE (2022)

Keyphrases

transition systems
model checking
temporal logic
concurrent systems
finite state
practical reasoning
control flow
petri net
model checker
social networks
markov chain