Software Open Access

Implementation of DIbugger

Mihai Herda; Michael Kirsten; Etienne Brunner; Joana Plewnia; Ulla Scheler; Chiara Staudenmaier; Benedikt Wagner; Pascal Zwick; Bernhard Beckert

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 (11.6 MB)
Name Size
software.zip
md5:79ed4130545dc0b0ce8d02075ab1882f
11.6 MB Download
38
4
views
downloads
All versions This version
Views 3839
Downloads 44
Data volume 46.4 MB46.4 MB
Unique views 3132
Unique downloads 44

Share

Cite as