Using Formal Methods to Validate Research Hypotheses: The Duolingo Case Study.
Antonio CeroneAiym ZhexenbayevaPublished in: STAF Workshops (2018)
Keyphrases
- formal methods
- case study
- formal analysis
- real world
- knowledge based systems
- formal specification
- artificial intelligence
- process algebra
- model checking
- provably correct
- software engineering
- model checker
- safety critical
- temporal properties
- business process
- database
- knowledge acquisition
- open source
- modeling language
- data quality
- software development
- high level
- information systems
- databases