Certified Verification of Relational Properties.

Lionel Blatter Nikolai Kosmatov Virgile Prevosto Pascale Le Gall

Published in: IFM (2022)

Keyphrases

desirable properties
artificial intelligence
relational databases
data model
relational data
image processing
learning environment
multi relational
data sets
neural network
information systems
decision making
model checking
database schema
formal verification