Deciding Hyperproperties Combined with Functional Specifications.

Raven Beutner David Carral Bernd Finkbeiner Jana Hofmann Markus Krötzsch

Published in: LICS (2022)

Keyphrases

functional analysis
computer vision
image processing
case study
high level
search algorithm
data analysis
data model
combining multiple