On the Verification of Computer Architectures Using an Architecture Description Language
Subrata DasguptaPublished in: ISCA (1983)
Keyphrases
- description language
- computer architecture
- model checker
- web services
- computer systems
- software architecture
- parallel computing
- model checking
- computer science department
- computer science
- high performance computing
- description languages
- compute intensive
- formal verification
- numerical methods
- action language
- orders of magnitude
- response time
- planning domains
- wireless sensor networks
- database systems
- information systems