Automatic Differentiation of Parallel Loops with Formal Methods.
Jan HückelheimLaurent HascoëtPublished in: ICPP (2022)
Keyphrases
- formal methods
- model checking
- artificial intelligence
- formal analysis
- parallel processing
- knowledge based systems
- temporal properties
- safety critical
- process algebra
- formal specification
- provably correct
- model checker
- databases
- parallel implementation
- shared memory
- software engineering
- case study
- temporal logic
- expert systems
- knowledge representation
- high level
- database