Published December 1, 2020
| Version svcomp21-0-g82e03b87
Software
Open
Goblint at SV-COMP 2021
Authors/Creators
- 1. University of Tartu
- 2. Technische Universität München
Description
Goblint verifier submitted to SV-COMP 2021.
Notes
This work was supported in part by Deutsche Forschungsgemeinschaft (DFG) – 378803395/2428 ConVeY and the Estonian Research Council grant PSG61.
Files
goblint-svcomp21.zip
Files
(6.8 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:d82b34f4cdec759e98da219eecb6471a
|
6.8 MB | Preview Download |