Formal Verification of Gate-Level Computer Systems.
Mark A. HillebrandSergey TverdyshevPublished in: CSR (2009)
Keyphrases
- computer systems
- formal verification
- data processing
- model checking
- hardware and software
- operating system
- communication systems
- computing systems
- information processing systems
- information systems
- automated verification
- computer technology
- computer security
- high end
- symbolic model checking
- model checker
- computer networks
- human beings
- computer architecture
- computer hardware
- real world
- bounded model checking
- data management
- machine learning
- database