Verification Tools for Checking some kinds of Testability.

Published in: CoRR (2021)

Keyphrases

verification method
user friendly
software tools
information technology
model checking
real time
artificial intelligence
e learning
decision support
learning systems
formal methods
computational tools