Quantifying Software Correctness by Combining Architecture Modeling and Formal Program Analysis.
Florian LanzingerChristian MartinFrederik ReicheSamuel TeuberRobert HeinrichAlexander WeiglPublished in: CoRR (2024)
Keyphrases
- software architecture
- reactive systems
- hardware design
- software platform
- enterprise systems
- platform independent
- software systems
- formal model
- modeling language
- architectural models
- management system
- source code
- network architecture
- configuration management
- software design
- data flow
- computer systems
- software development
- dynamic aspects
- intelligent software
- dedicated hardware
- neural network
- formal models
- software package
- software projects
- embedded systems
- case study
- knowledge base