Published August 26, 2019
| Version 1.1
Software
Open
Knotical: An Inference System of Trace Refinement Relations
Authors/Creators
- 1. Yale University
- 2. Stevens Institute of Technology
Description
This is an artifact for the paper "Specification and Inference of Trace Refinement Relations" conditionally accepted to OOPSLA 2019. The artifact is licensed under the MIT license. The development repository is located at https://github.com/knotical/knotical.
Files
knotical-1.1.zip
Files
(3.4 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:916b089af80643dc5c61c22a7869771d
|
3.4 MB | Preview Download |