Efficient Data Structure for Fully Symbolic Verification of Real-Time Software Systems.
Farn WangPublished in: TACAS (2000)
Keyphrases
- software systems
- data structure
- software engineering
- source code
- software development
- software maintenance
- software components
- software design
- software architecture
- software evolution
- high assurance
- software engineers
- software testing
- linux kernel
- database
- software quality
- functional requirements
- product lines
- component based software
- metamodel
- r tree
- open source
- data model
- high level
- databases