Fun with Formal Methods for Better Education.
Nikolay V. ShilovEvgeniy MuravevSvetlana O. ShilovaPublished in: FMFun (2019)
Keyphrases
- formal methods
- formal analysis
- model checking
- temporal properties
- knowledge based systems
- artificial intelligence
- provably correct
- information and communication technologies
- software engineering
- formal specification
- safety critical
- model checker
- process algebra
- higher education
- e learning
- distance learning
- computer games
- temporal logic
- open source
- web services
- elementary school
- security properties
- databases
- protocol specification