C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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