Integrating Formal Methods with Informal Digital Hardware Development.
Neil EvansPublished in: Electron. Commun. Eur. Assoc. Softw. Sci. Technol. (2010)
Keyphrases
- formal methods
- safety critical
- knowledge based systems
- development lifecycle
- software engineering
- model checking
- low cost
- formal analysis
- artificial intelligence
- process algebra
- development process
- formal specification
- circuit design
- knowledge management
- computer systems
- case study
- test cases
- machine learning
- knowledge base
- model checker
- information systems
- provably correct