Quantifying Software Correctness by Combining Architecture Modeling and Formal Program Analysis.
Florian LanzingerChristian MartinFrederik ReicheSamuel TeuberRobert HeinrichAlexander WeiglPublished in: SAC (2024)
Keyphrases
- software architecture
- hardware design
- reactive systems
- software platform
- enterprise systems
- management system
- data flow
- formal model
- industry standard
- formal methods
- modeling language
- software tools
- software development
- dedicated hardware
- source code
- real time
- configuration management
- development process
- software design
- core components
- architectural models
- case study
- software implementation
- hardware software
- knowledge sharing and reuse
- requirements specification
- intelligent software
- cross platform
- heterogeneous systems
- platform independent
- software components
- web applications
- user interface
- multi agent
- artificial intelligence
- neural network