EHSAT Modeling from Algorithm Description for RTL Model Checking.

Xiaoqing Yang Jinian Bian Shujun Deng Yanni Zhao

Published in: ATS (2007)

Keyphrases

model checking
verification method
search space
computational complexity
temporal logic
dynamic programming
formal specification
automated verification
optimal solution
distributed systems
heuristic search
finite state
pspace complete
reactive systems
deterministic finite automaton