Optimization of Lyapunov Invariants in Verification of Software Systems
Mardavij RoozbehaniAlexandre MegretskiEric FeronPublished in: CoRR (2011)
Keyphrases
- software systems
- source code
- software engineering
- software design
- software development
- high assurance
- software components
- software engineers
- software maintenance
- multi agent systems
- model checking
- software architecture
- linux kernel
- software evolution
- database
- development effort
- metamodel
- functional requirements
- artificial intelligence
- software testing
- software projects
- project management
- operating system
- building blocks
- product lines
- case study
- software intensive systems
- component based software