Sign in
Introduction to the special issue of the 19th International Conference on Runtime Verification.
Bernd Finkbeiner
Leonardo Mariani
Published in:
Int. J. Softw. Tools Technol. Transf. (2021)
Keyphrases
</>
lecture notes in artificial intelligence
model checking
face verification
signature verification
high security
verification method
databases
evolutionary algorithm
lecture notes
international workshop
formal analysis
formal verification
asynchronous circuits