Mode Switching Synthesis for Reachability Specifications.

Tak-John Koo George J. Pappas Shankar Sastry

Published in: HSCC (2001)

Keyphrases

delay insensitive
transitive closure
high level
control flow
mixed mode
data mining
state space
formal verification
database
information systems
image sequences
object oriented
functional requirements
program synthesis