Optimization of Lyapunov Invariants in Verification of Software Systems (Extended Version)
Mardavij RoozbehaniAlexandre MegretskiEric FeronPublished in: CoRR (2011)
Keyphrases
- software systems
- software engineering
- source code
- software maintenance
- software design
- software development
- software components
- high assurance
- multi agent systems
- software architecture
- metamodel
- software evolution
- software quality
- model checking
- software engineers
- complex software systems
- software developers
- software testing
- functional requirements
- development effort
- software artifacts
- case study
- formal methods
- cooperative
- software repositories
- maintenance activities
- dynamic reconfiguration