Introduction to the Special Issue on Runtime Verification.

Jyotirmoy Deshmukh Dejan Nickovic

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

Keyphrases

artificial intelligence
model checking
face verification
machine learning
concurrent systems
formal verification
databases
neural network
verification method
genetic algorithm
information systems
face recognition
asynchronous circuits
false acceptance