Self-composition to Prove Relational Properties in Annotated C Program.

Lionel Blatter Nikolai Kosmatov Pascale Le Gall Virgile Prevosto

Published in: CoRR (2018)

Keyphrases

relational data
relational databases
image sequences
database schema
imperative programs
neural network
multiscale
data model
graphical models
structural properties
desirable properties