There is a newer version of the record available.

Published August 26, 2019 | Version 1.0
Software Open

Knotical: An Inference System of Trace Refinement Relations

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.zip

Files (195.7 kB)

Name Size Download all
md5:7e171ab3592a91e86f10c4006810c986
195.7 kB Preview Download