Keyphrases
- computer systems
- model checking
- complex systems
- information systems
- graphical user interfaces
- commercial software
- formal methods
- intelligent systems
- embedded systems
- technical issues
- automated verification
- hardware designs
- software architecture
- orders of magnitude
- software packages
- software implementation
- information retrieval
- safety critical
- asynchronous circuits