Mind the Gap: Addressing Behavioural Inconsistencies with Formal Methods.
Juliana Küster Filipe BowlesMarco B. CaminatiPublished in: APSEC (2016)
Keyphrases
- real world
- formal methods
- artificial intelligence
- model checking
- safety critical
- formal analysis
- formal specification
- knowledge based systems
- model checker
- provably correct
- software engineering
- process algebra
- knowledge base
- temporal properties
- cognitive science
- case study
- modeling language
- information systems
- databases
- development lifecycle
- temporal logic
- user interface