Summary-Based Compositional Analysis for Soft Contract Verification.

Bram Vandenbogaerde Quentin Stiévenart Coen De Roover

Published in: SCAM (2022)

Keyphrases

statistical analysis
medical images
databases
artificial intelligence
computer vision
clustering algorithm
face recognition
multiscale
video sequences
search algorithm
data analysis
probabilistic model
supply chain
model checking
automatic analysis