NSAD 2024
Sun 20 - Fri 25 October 2024 Pasadena, California, United States
co-located with SPLASH 2024
All Editions
Sun 20 - Fri 25 October 2024 Pasadena, California, United States

NSAD 2024 with SPLASH 2024

10th International Workshop on Numerical and Symbolic Abstract Domains (NSAD) Abstraction is an essential part of many program verification and validation (V&V) methods, making tractable computational problems that are usually too complex —and very often undecidable if considered in their original (not abstracted) formulation. Such abstraction is modeled using an abstract representation of data and abstract ...

Sun 15 - Fri 20 November 2020 Online Conference

NSAD 2020 with SPLASH 2020

Abstract domains are a key notion in Abstract Interpretation theory and practice. They embed the semantic choices, data-structures and algorithmic aspects, and implementation decisions. The Abstract Interpretation framework provides constructive and systematic formal methods to design, compose, compare, study, prove, and apply abstract domains. Many abstract domains have been designed so far: numerical domains (i ...