Deciding Hyperproperties Combined with Functional Specifications.

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

Published in: CoRR (2022)

Keyphrases

information retrieval
artificial intelligence
relational databases
functional analysis
delay insensitive
learning algorithm
information systems
feature selection
high level
similarity measure
data structure
expert systems
data model
logic programs
level set
formal specification