#ProgramVerification

NSAD 2026 - SPLASH/ISSTA 2026 11th ACM SIGPLAN International Workshop on Numerical and Symbolic Abstract Domains Abstraction is an essential part of many program verification and validation (V&V) methods, making tractable computat...

NSAD will be back in 2026, co-located with SPLASH/ISSTA and SAS 🎉. Looking forward to seeing your work on abstract domains: conf.researchr.org/home/splash-...
Stay tuned for more details!

#NSAD #StaticAnalysis #AbstractInterpretation #ProgramVerification #SPLASH2026