Checking Activity Transition Systems with Back Transitions Against Assertions.

Cunjing Ge Jiwei Yan Jun Yan Jian Zhang

Published in: ICFEM (2018)

Keyphrases

transition systems
concurrent systems
model checking
temporal logic
finite state
control flow
practical reasoning
knowledge base
reactive systems
domain independent