Limits and difficulties in the design of under-approximation abstract domains.

Flavio Ascari Roberto Bruni Roberta Gori

Published in: FoSSaCS (2022)

Keyphrases

design process
software architecture
error bounds
engineering design
real time
databases
computer vision
information systems
search algorithm
expert systems
application domains
computer aided
design principles
design methodology
design tools
optimal design