Disproving XAI Myths with Formal Methods - Initial Results.
João Marques SilvaPublished in: CoRR (2023)
Keyphrases
- formal methods
- knowledge based systems
- provably correct
- formal specification
- formal analysis
- model checker
- safety critical
- model checking
- process algebra
- artificial intelligence
- temporal properties
- software engineering
- database systems
- formal specification language
- protocol specification
- development lifecycle
- security properties