Published November 28, 2025 | Version v4
Software Open

SWAT Artifact for SV-Comp 2026

Authors/Creators

  • 1. Universität zu Lübeck Sektion Informatik Technik
  • 2. ROR icon University of Lübeck

Description

SWAT artifact submission for SV-COMP 2026.

Files

swat-verify.zip

Files (162.7 MB)

Name Size Download all
md5:8c776d19ac33ecf5c1c7441d16cc18a6
162.7 MB Preview Download

Additional details

Dates

Created
2025-11-18

Software

Repository URL
https://github.com/SWAT-project/SWAT
Development Status
Active