There is a newer version of this record available.

Software Open Access

Knotical: An Inference System of Trace Refinement Relations

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.

Files (195.7 kB)
Name Size
KNOTICAL.zip
md5:7e171ab3592a91e86f10c4006810c986
195.7 kB Download
58
7
views
downloads
All versions This version
Views 5837
Downloads 73
Data volume 14.3 MB587.1 kB
Unique views 4535
Unique downloads 43

Share

Cite as