Explaining Transition Systems through Program Induction.

Svetlin Penkov Subramanian Ramamoorthy

Published in: CoRR (2017)

Keyphrases

transition systems
control flow
model checking
concurrent systems
temporal logic
practical reasoning
finite state
data flow
machine learning
artificial intelligence
object oriented
process model
software testing