Published February 11, 2021
| Version v1
Dataset
Open
subject programs and tool for the paper: Verifying Determinism in Sequential Programs
Authors/Creators
- 1. University of Washington
Description
Subject programs and tool source code as described in the ICSE 2021 paper titled "Verifying Determinism in Sequential Programs".
Files
case-studies.zip
Files
(9.8 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:1b782ec0c1127aa8bab60c043cace6d1
|
176 Bytes | Preview Download |
|
md5:95c556babad963af18a478adb547d1d7
|
9.8 MB | Preview Download |