Optimization of Lyapunov Invariants in Verification of Software Systems.
Mardavij RoozbehaniAlexandre MegretskiEric FeronPublished in: IEEE Trans. Autom. Control. (2013)
Keyphrases
- software systems
- software engineering
- source code
- software development
- software design
- software maintenance
- high assurance
- software components
- multi agent systems
- functional requirements
- software architecture
- software quality
- software testing
- component based software
- linux kernel
- software projects
- metamodel
- software engineers
- complex software systems
- clone detection
- multi agent
- databases