Login / Signup
A Specification-Based Semi-Formal Functional Verification Method by a Stage Transition Graph Model.
Zhao Lv
Shuming Chen
Tingrong Zhang
Yaohua Wang
Published in:
IEEE Access (2019)
Keyphrases
</>
graph model
verification method
model checking
formal specification
formal methods
temporal logic
graph representation
bipartite graph
graph structure
weighted graph
high level
similarity measure
clustering method
supervised learning
vector space model