Formal Methods for GPGPU Programming: Is the Demand Met?
Lars B. van den HaakAnton WijsMark van den BrandMarieke HuismanPublished in: IFM (2020)
Keyphrases
- formal methods
- reactive systems
- formal analysis
- formal specification
- programming language
- knowledge based systems
- safety critical
- model checking
- process algebra
- graphics processing units
- model checker
- software engineering
- provably correct
- artificial intelligence
- energy aware
- general purpose
- formal specification language
- security properties
- programming environment
- high performance computing
- modeling language
- lead time
- relational databases
- knowledge base
- design space exploration
- databases
- database