Formal Methods Meet XAI: the Tool DEGARI 2.0 for Social Inclusion.
Antonio LietoGian Luca PozzatoManuel StrianiStefano ZoiaRossana DamianoPublished in: OVERLAY@AI*IA (2022)
Keyphrases
- formal methods
- formal specification language
- formal analysis
- knowledge based systems
- social interaction
- model checking
- formal specification
- artificial intelligence
- software engineering
- social networks
- model checker
- safety critical
- temporal properties
- provably correct
- social media
- process algebra
- database
- open source
- temporal logic
- case study
- real world