Prototyping the M68060 for Concurrent Verification.

Jainendra Kumar

Published in: IEEE Des. Test Comput. (1997)

Keyphrases

rapid prototyping
model checking
real time
face verification
concurrent systems
formal verification
signature verification
development process
false acceptance rate
verification method
test generation
user interface
multi agent systems
data structure
social networks
search engine
data mining
real world
databases