Formal Methods for High Integrity GPU Software Development and Verification.
Dimitris AspetakisLeonidas KosmidisMatina Maria TrompoukiJose RuizGábor MarosyPublished in: DATE (2024)
Keyphrases
- formal methods
- software development
- development lifecycle
- software engineering
- model checking
- model checker
- formal analysis
- formal specification
- safety critical
- provably correct
- real time
- knowledge based systems
- artificial intelligence
- process algebra
- software developers
- parallel implementation
- software testing
- software architecture
- web services
- reactive systems
- database
- protocol specification