SV-COMP

Intl. Software Verification Competitions (SV-Comp)

SV-COMP 2026

• Competing Version: ESBMC 7.11
• Divisions Entered:
  • Overall: ReachSafety, MemSafety, ConcurrencySafety, NoOverflows, Termination, SoftwareSystems.
  • Falsification Overall: ReachSafety, MemSafety, ConcurrencySafety, NoOverflows, Termination, SoftwareSystems.
• Award:
  • 2^nd Place in ReachSafety

SV-COMP 2025

• Competing Version: ESBMC 7.7
• Divisions Entered:
  • Overall: ReachSafety, MemSafety, ConcurrencySafety, NoOverflows, Termination, SoftwareSystems.
  • Falsification Overall: ReachSafety, MemSafety, ConcurrencySafety, NoOverflows, Termination, SoftwareSystems.
• Award:
  • 2^nd Place in ReachSafety

SV-COMP 2020

• Competing Version: ESBMC 6.1
• Divisions Entered:
  • Overall: ReachSafety, MemSafety, ConcurrencySafety, NoOverflows, Termination, SoftwareSystems.
  • Falsification Overall: ReachSafety, MemSafety, ConcurrencySafety, NoOverflows, Termination, SoftwareSystems.
• Award:
  • 3^rd Place in Falsification

SV-COMP 2019

• Competing Version: ESBMC 6.0
• Divisions Entered:
  • Overall: ReachSafety, MemSafety, ConcurrencySafety, NoOverflows, Termination, SoftwareSystems.
  • Falsification Overall: ReachSafety, MemSafety, ConcurrencySafety, NoOverflows, Termination, SoftwareSystems.
• Award:
  • 3^rd Place in Falsification

SV-COMP 2018

• Competing Version: ESBMC 4.6
• Divisions Entered:
  • Overall: ReachSafety, MemSafety, ConcurrencySafety, NoOverflows, Termination, SoftwareSystems.
  • Falsification Overall: ReachSafety, MemSafety, ConcurrencySafety, NoOverflows, Termination, SoftwareSystems.
• Award:
  • 3^rd Place in Overall

SV-COMP 2017

• Competing Version: ESBMC 3.1
• Divisions Entered:
  • Overall: ReachSafety, MemSafety, ConcurrencySafety, Overflows, Termination, SoftwareSystems.
  • Falsification Overall: ReachSafety, MemSafety, ConcurrencySafety, Overflows, Termination, SoftwareSystems.
• Awards:
  • 2^nd Place in Falsification Overall
  • 3^rd Place in Falsification Overall

SV-COMP 2016

• Competing Version: ESBMC 2.1
• Divisions Entered:
  • Overall: Arrays, BitVectors, Heap, Floats, IntegersControlFlow, Termination, Concurrency, DeviceDriversLinux64.
  • Falsification Overall: Arrays, BitVectors, Heap, Floats, IntegersControlFlow, Termination, Concurrency, DeviceDriversLinux64.
• Awards:
  • 1^st Place in Arrays
  • 2^nd Place in BitVectors

SV-COMP 2015

• Competing Version: ESBMC 1.24.1
• Divisions Entered:
  • Overall: Arrays, BitVectors, Concurrency, ControlFlow, DeviceDrivers64, Floats, HeapManipulation, MemorySafety, Recursive, Sequentialized, Simple, Termination.
• Awards:
  • 1^st Place in BitVectors
  • 1^st Place in Sequentialized
  • 3^rd Place in ControlFlow
  • 3^rd Place in Floats

SV-COMP 2014

• Competing Version: ESBMC 1.22
• Divisions Entered:
  • Overall: BitVectors, Concurrency, ControlFlow, DeviceDrivers64, HeapManipulation, MemorySafety, Recursive, SequentializedConcurrent, Simple.
• Awards:
  • 1^st Place in SequentializedConcurrent

SV-COMP 2013

• Competing Version: ESBMC 1.20
• Divisions Entered:
  • Overall: BitVectors, Concurrency, ControlFlow, DeviceDrivers64, FeatureChecks, HeapManipulation, Loops, MemorySafety, ProductLines, SystemC.
• Awards:
  • 2^nd Place in BitVectors
  • 2^nd Place in Loops
  • 3^rd Place in Concurrency
  • 3^rd Place in MemorySafety
  • 3^rd Place in Overall

SV-COMP 2012

• Competing Version: ESBMC 1.17
• Divisions Entered:
  • Overall: ControlFlowInteger, DeviceDrivers, DeviceDrivers64, HeapManipulation, SystemC, Concurrency.
• Awards:
  • 1^st Place in SystemC
  • 1^st Place in Concurrency
  • 3^rd Place in Overall