Fifteen Years of Formal Property Verification in Intel.

Published in: 25 Years of Model Checking (2008)

Keyphrases

formal methods
formal analysis
model checking
years ago
computer architecture
verification method
formal model
formal specification
face verification
concurrent systems
formal models
formal verification
desirable properties
multi agent systems
face recognition
image processing
data mining