Deductive Verification of System Software in the Verisoft XT Project.
Bernhard BeckertMichal MoskalPublished in: Künstliche Intell. (2010)
Keyphrases
- software development
- software projects
- software systems
- formal methods
- configuration management
- pilot project
- formal verification
- computer systems
- development lifecycle
- project management
- requirements engineering
- software process
- software developers
- free software
- software engineering
- object oriented
- project teams
- innovative technologies
- technical infrastructure
- case study
- project managers
- personal software process
- software quality
- software testing
- software maintenance
- model checking
- test cases
- software evolution
- open source projects
- software design
- open source software
- software tools
- software process improvement
- life cycle
- software architecture
- hardware designs
- software suite
- data collection