The IBM Engineering Verification Engine.
Daniel K. BeeceGeorge DeibertGeorgina PappFrank VillantePublished in: DAC (1988)
Keyphrases
- model checking
- formal verification
- computer science
- engineering design
- mechanical engineering
- artificial intelligence
- knowledge base
- software engineering
- verification method
- databases
- formal methods
- engineering students
- face verification
- materials science
- person identification
- electrical engineering
- engineering education
- inference engine
- website
- genetic algorithm