logo
Program analysis and software verification

نتائج المؤتمرات (2)

International Symposium on Automated Technology for Verification and Analysis (ATVA)

Rank: BOffline
Bengaluru, India
Oct 27, 2025 - Oct 31, 2025
algorithmiccompositionaland abstraction/refinement techniques for analysis and verification+23 المزيد

Computer Aided Verification (CAV)

Rank: A*Offline
Zagreb, Croatia
Jul 21, 2025 - Jul 25, 2025
Algorithms and tools for verifying models and implementationsAlgorithms and tools for system synthesisAlgorithms and tools that combine verification and learning+19 المزيد