ATVA 2025: 23rd International Symposium on Automated Technology for Verification and Analysis

ATVA 2025 is the 23rd in a series of symposia aimed at bringing together academics, industrial researchers and practitioners in the area of theoretical and practical aspects of automated analysis, synthesis, and verification of hardware and software systems.

The event’s areas of interest encompass the following topics, without limitation: program analysis and software verification, formal methods, model checking and testing and run time analysis.