Refinement-based formal verification with heterogeneous timing.

Xiaohua Kong Radu Negulescu Larry Weidong Ying

Published in: Int. J. Softw. Tools Technol. Transf. (2003)

Keyphrases

formal verification
model checking
symbolic model checking
model checker
automated verification
bounded model checking
functional verification
real world
temporal logic
asynchronous circuits
neural network
artificial intelligence
dynamic programming
heterogeneous data
program slicing