Towards A Broader Acceptance Of Formal Verification Tools: The Role Of Education.

Mansur Khazeev Manuel Mazzara Daniel de Carvalho Hamna Aslam

Published 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