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
More info on how stats are collected.
Indexed in
Publication date:
August 26, 2019
DOI:
10.5281/zenodo.3368627

Zenodo DOI Badge

DOI 

10.5281/zenodo.3368627

Markdown 

[![DOI](https://zenodo.org/badge/DOI/10.5281/zenodo.3368627.svg)](https://doi.org/10.5281/zenodo.3368627)

reStructedText 

.. image:: https://zenodo.org/badge/DOI/10.5281/zenodo.3368627.svg
   :target: https://doi.org/10.5281/zenodo.3368627

HTML 

<a href="https://doi.org/10.5281/zenodo.3368627"><img src="https://zenodo.org/badge/DOI/10.5281/zenodo.3368627.svg" alt="DOI"></a>

Image URL 

https://zenodo.org/badge/DOI/10.5281/zenodo.3368627.svg

Target URL 

https://doi.org/10.5281/zenodo.3368627

Keyword(s):
program refinement trace refinement Kleene Algebra with Tests
Meeting:
Specification and Inference of Trace Refinement Relations
License (for files):
MIT License

Versions

Version 1.1 10.5281/zenodo.3377899 Aug 26, 2019
Version 1.0 10.5281/zenodo.3368627 Aug 26, 2019
Cite all versions? You can cite all versions by using the DOI 10.5281/zenodo.3368626. This DOI represents all versions, and will always resolve to the latest one. Read more.

Share

Cite as

Export