Login / Signup
Interrupt Verification via Thread Verification.
John Regehr
Nathan Cooprider
Published in:
Electron. Notes Theor. Comput. Sci. (2007)
Keyphrases
</>
model checking
face verification
multiresolution
formal analysis
formal verification
asynchronous circuits
genetic algorithm
artificial intelligence
decision making
decision trees
multi agent
mobile robot
signature verification
test generation
verification method