Published February 21, 2020
| Version 0.8.2
Software
Open
The 2LS Software Verification Framework for SV-COMP 2020
Authors/Creators
- 1. Brno University of Technology
- 2. DiffBlue Ltd.
Description
The version the 2LS verification framework used in the 9th Competition on Software Verification (SV-COMP 2020).
Files
2ls.zip
Files
(4.0 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:61b499bdec42c570894ea9d0e8b54a7c
|
4.0 MB | Preview Download |