A taxonomy for classifying runtime verification tools.

Yliès Falcone Srdan Krstic Giles Reger Dmitriy Traytel

Published in: Int. J. Softw. Tools Technol. Transf. (2021)

Keyphrases

end users
decision support
e learning
automatic classification
design decisions
formal methods
real world
multimedia
decision trees
case study
similarity measure
expert systems
user interface
formal verification
verification method
hierarchically organized