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

  • 1. Yale University
  • 2. Stevens Institute of Technology


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


Files (195.7 kB)

Name Size Download all
195.7 kB Preview Download