Towards A Broader Acceptance Of Formal Verification Tools: The Role Of Education.
Mansur KhazeevManuel MazzaraDaniel de CarvalhoHamna AslamPublished in: CoRR (2019)
Keyphrases
- formal verification
- model checking
- model checker
- bounded model checking
- symbolic model checking
- automated verification
- educational tools
- mobile learning
- distance learning
- information and communication technologies
- distance education
- educational settings
- e learning
- educational resources
- program slicing
- educational activities
- multimedia technology
- web based learning
- open source