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
26
3
views
downloads
All versions This version
Views 269
Downloads 31
Data volume 7.0 MB195.7 kB
Unique views 148
Unique downloads 11

Share

Cite as