HyperMonitor: A Python Prototype for Hyper Predictive Runtime Verification.

Angelo Ferrando Giorgio Delzanno

Published in: RP (2023)

Keyphrases

open source
model checking
multiscale
programming language
face verification
neural network
open source software
graphical user interface
programming tool
database
scripting language
verification method
development tools
signature verification
artificial neural networks
computer vision
genetic algorithm
data sets