Login / Signup
Checking Nested Properties Using Bounded Model Checking and Sequential ATPG.
Qiang Qiang
Daniel G. Saab
Jacob A. Abraham
Published in:
VLSI Design (2006)
Keyphrases
</>
bounded model checking
formal verification
model checking
web services
desirable properties
neural network
knowledge base
orders of magnitude
temporal logic