automatic verification
automaatkontroll (3); automaatverifitseerimine
olemus
sõltub kontekstist
näiteid
http://www.im.ntu.edu.tw/~tsay/dokuwiki/lib/exe/fetch.php?media=courses:av2009:introduction.pdf
https://link.springer.com/book/10.1007/3-540-52148-8
https://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.298.9706&rep=rep1&type=pdf
https://core.ac.uk/download/pdf/82029264.pdf