Using Formal Methods to Support the Development of STLs for GPUs.
Nikolaos Ioannis DeligiannisTobias FallerJosie E. Rodriguez CondiaRiccardo CantoroBernd BeckerMatteo Sonza ReordaPublished in: ATS (2022)
Keyphrases
- formal methods
- safety critical
- software engineering
- knowledge based systems
- support systems
- development lifecycle
- knowledge management
- formal analysis
- decision support
- artificial intelligence
- formal specification
- general purpose
- development process
- design tools
- case study
- provably correct
- object oriented
- knowledge representation
- model checking
- high level
- database