Login / Signup
Static Scheduling and Software Synthesis for Dataflow Graphs with Symbolic Model-Checking.
Zonghua Gu
Mingxuan Yuan
Nan Guan
Mingsong Lv
Xiuqiang He
Qingxu Deng
Ge Yu
Published in:
RTSS (2007)
Keyphrases
</>
symbolic model checking
safety analysis
model checking
formal verification
software development
conformant planning
partial observability
binary decision diagrams
source code
software systems
symbolic representation
model checker