Runtime Verification of Contracts with Themulus.

Alberto Aranda García María-Emilia Cambronero Christian Colombo Luis Llana Gordon J. Pace

Published in: SEFM (2020)

Keyphrases

supply chain
model checking
verification method
concurrent systems
data sets
databases
computer vision
reinforcement learning
multi agent
probabilistic model
face detection
formal methods
formal analysis
formal verification
high security