Published November 23, 2022
| Version svcomp23-0-g4f5dcf38f
Software
Open
Goblint at SV-COMP 2023
Creators
- 1. University of Tartu
- 2. Technische Universität München
Description
Goblint verifier submitted to SV-COMP 2023.
Notes
This work was supported by Deutsche Forschungsgemeinschaft (DFG) – 378803395/2428 ConVeY and the Estonian Centre of Excellence in IT (EXCITE), funded by the European Regional Development Fund.
Files
goblint-svcomp23.zip
Files
(10.5 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:169bb38ac1d1941b3a8c764aa7db99f2
|
10.5 MB | Preview Download |