Formal Verification of a Microkernel Used in Dependable Software Systems.
Christoph BaumannBernhard BeckertHolger BlasumThorsten BormerPublished in: SAFECOMP (2009)
Keyphrases
- software systems
- formal verification
- model checking
- software engineering
- source code
- bounded model checking
- software development
- model checker
- software architecture
- automated verification
- symbolic model checking
- software maintenance
- software components
- metamodel
- functional requirements
- software evolution
- multi agent systems
- software engineers
- software design
- design patterns
- software quality
- software testing
- fault tolerant
- artificial intelligence
- software projects
- temporal logic
- development effort
- dynamic reconfiguration
- object oriented
- component based software