An Efficient VCGen-Based Modular Verification of Relational Properties.

Lionel Blatter Nikolai Kosmatov Virgile Prevosto Pascale Le Gall

Published in: ISoLA (1) (2022)

Keyphrases

model checking
relational data
multi agent
data sets
image sequences
structural properties
real time
artificial intelligence
data structure
search algorithm