Published July 14, 2019
| Version 1
Software
Open
Implementation of DIbugger
Creators
- 1. Karlsruhe Institute of Technology
Description
This data contains the implementation of DIbugger, a program debugger for relational properties which was presented in:
http://dx.doi.org/10.4204/EPTCS.296.4
Both source code and an executable jar are provided.
Files
software.zip
Files
(11.6 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:79ed4130545dc0b0ce8d02075ab1882f
|
11.6 MB | Preview Download |
Additional details
Related works
- Has part
- https://git.scc.kit.edu/py8074/dibugger (URL)
- Is documented by
- 10.4204/EPTCS.296.4 (DOI)
- Thesis: 10.5445/IR/1000104496 (DOI)