---
title: "15th Competition on Software Verification (SV-COMP 2026)"
date: 2026-04-13T00:00:00+00:00
end_date: 2026-04-13T00:00:00+00:00
location: "Torino, IT"
format: onsite
type: challenge
level: open
prize: N/A
tags: "developer-tools, open-source, reproducible-research"
url: "https://sv-comp.sosy-lab.org/2026/"
canonical: "https://hackathonhub.eu/events/15th-competition-on-software-verification-sv-comp-2026-torino-2026"
---

# 15th Competition on Software Verification (SV-COMP 2026)

**Date:** 2026-04-13  
**Location:** Torino, IT  
**Format:** onsite  
**Type:** challenge  
**Level:** open  
**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.

[Register or learn more](https://sv-comp.sosy-lab.org/2026/)

[View on Hackathon Hub](https://hackathonhub.eu/events/15th-competition-on-software-verification-sv-comp-2026-torino-2026)