Control-flow guided property directed reachability for imperative synchronous programs.

Xian Li Klaus Schneider

Published in: MEMOCODE (2016)

Keyphrases

control flow
data flow
process model
software testing
state space
reactive systems
transition systems
workflow management systems
machine learning
prolog programs