Functional qualification of TLM verification.

Nicola Bombieri Franco Fummi Graziano Pravadelli Mark Hampton Florian Letombe

Published in: DATE (2009)

Keyphrases

functional verification
model checking
artificial intelligence
formal verification
database
human resources
face verification
functional analysis
machine learning
information retrieval
search engine
feature extraction
distributed systems
formal methods
asynchronous circuits
protocol specification