From Stories to Concurrency: How Children Can Play with Formal Methods.
Antonio CeronePublished in: FMFun (2019)
Keyphrases
- formal methods
- children learn
- model checking
- provably correct
- formal analysis
- formal specification
- safety critical
- model checker
- artificial intelligence
- card game
- knowledge based systems
- process algebra
- young children
- formal specification language
- development lifecycle
- security properties
- parent child
- concurrency control
- reactive systems
- playing games
- multi user environment
- databases
- software systems
- database systems
- case study