A Formal Framework to Measure the Incompleteness of Abstract Interpretations.

Marco Campion Caterina Urban Mila Dalla Preda Roberto Giacobazzi

Published in: SAS (2023)

Keyphrases

artificial intelligence
data sets
neural network
formal model
real world
machine learning
similarity measure
relational databases
artificial neural networks
evolutionary algorithm
main contribution
theoretical framework
formal specification
meta level