Proof engineering: implementation challenges in rigorously verified software.
Adam ChlipalaPublished in: PLMW@POPL (2015)
Keyphrases
- key issues
- hardware design
- real world
- software engineering
- software systems
- highly modular
- computer systems
- lessons learned
- efficient implementation
- theorem prover
- software intensive systems
- practical experiences
- software implementation
- software design
- software maintenance
- software architecture
- hardware implementation
- requirements engineering
- software tools
- development process
- commercial software
- development kit
- intelligent software
- source code
- artificial intelligence