Component-based CEGAR - Building Software Verifiers from Off-the-Shelf Components.
Dirk BeyerJan HaltermannThomas LembergerHeike WehrheimPublished in: Software Engineering (2023)
Keyphrases
- software components
- component based development
- software development
- software systems
- software reuse
- design patterns
- source code
- component based architecture
- reusable components
- software maintenance
- software architecture
- analysis tool
- software tools
- software application
- software package
- software packages
- hardware design
- core components
- cloud computing
- database