VyPR2: A Framework for Runtime Verification of Python Web Services.

Joshua Heneage Dawes Giles Reger Giovanni Franzoni Andreas Pfeiffer Giacomo Govi

Published in: TACAS (2) (2019)

Keyphrases

web services
main contribution
real time
face recognition
lightweight
conceptual framework
neural network
artificial intelligence
high level
multi agent
general purpose
open source
software architecture
object oriented programming