Software Open Access
Timos Antonopoulos; Eric Koskinen; Ton Chanh Le
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.
Name | Size | |
---|---|---|
KNOTICAL.zip
md5:7e171ab3592a91e86f10c4006810c986 |
195.7 kB | Download |
All versions | This version | |
---|---|---|
Views | 58 | 37 |
Downloads | 7 | 3 |
Data volume | 14.3 MB | 587.1 kB |
Unique views | 45 | 35 |
Unique downloads | 4 | 3 |