Published February 8, 2023 | Version 9.1
Software Open

Symbiotic at SV-COMP 2023

  • 1. Faculty of Informatics, Masaryk University, Brno

Description

The package contains Symbiotic binary which was submitted to the SV-COMP 2023.

Details about the tool can be found at https://github.com/staticafi/symbiotic

Laboratory: https://formela.fi.muni.cz/research-areas/program-analysis-and-verification

Details about the SV-COMP 2023: https://sv-comp.sosy-lab.org/2023/

The package of Symbiotic (and also other competing tools) can be downloaded directly from the competition repository: https://gitlab.com/sosy-lab/sv-comp/archives-2023

Files

symbiotic.zip

Files (183.1 MB)

Name Size Download all
md5:df3fabc4e11527d0df0f0a20dd3b9a0a
183.1 MB Preview Download