Optimized Assignment Coverage Computation in Formal Verification of Digital Systems.

Majid Nabi Hamid Shojaei Siamak Mohammadi Zainalabedin Navabi

Published in: ATS (2007)

Keyphrases

formal verification
automated verification
model checking
intelligent systems
bounded model checking
artificial intelligence
complex systems
data sets
information systems
knowledge acquisition
building blocks
symbolic model checking
program slicing