Deciding Program Properties via Complete Abstractions on Bounded Domains.

Roberto Bruni Roberta Gori Nicolas Manini

Published in: SAS (2022)

Keyphrases

real world
high level
neural network
website
application domains
structural properties
desirable properties
topological properties
imperative programs
databases
information systems
clustering algorithm
objective function
computer programs