Proving Correctness of Labled Transition Systems by Semantic Tableaux.

Published in: TABLEAUX (1997)

Keyphrases

transition systems
model checking
concurrent systems
temporal logic
finite state
control flow
domain specific
practical reasoning
reinforcement learning
artificial intelligence
object oriented
distributed systems
reactive systems