Symbiotic at SV-COMP 2023

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