Introduction to the Special Issue on Runtime Verification.

Lu Feng Dana Fisman

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

Keyphrases

model checking
feature extraction
website
multiresolution
formal analysis
database
social networks
multimedia
case study
special case
face verification
signature verification
formal verification
high security