15th Competition on Software Verification (SV-COMP 2026)
This event has ended. Browse current hackathons on Hackathon Hub.
Date: 2026-04-13
Location: Torino, IT
Type: challenge
Level: open
Organizer: Dirk Beyer, LMU Munich
Tags: developer-tools, open-source, reproducible-research
SV-COMP 2026 is the 15th edition of the international competition on software verification, held as part of TACAS 2026 in Turin, Italy. The goal is to showcase the current state-of-the-art in software verification and compare various verification tools in terms of precision and performance. The event also promotes the visibility and recognition of tool developers and establishes a collection of benchmarks for software verification in the community.