This volume contains the post-proceedings of the 8th International Workshop on Numerical and Symbolic Abstract Domains (NSAD 2019), held on 8 October 2019 in Porto, Portugal, as part of the Third World Congress on Formal Methods. The series of Workshops on Numerical and Symbolic Abstract Domains are intended to promote discussions and exchanges of experience in the design of abstract domains: semantic choices, data-structures and algorithmic aspects, and implementation decisions, as well as classical or less classical applications.
展开▼