Published July 6, 2021 | Version v1.0
Software Open

TyGuS/suslik: SuSLik v1.0

Creators

  • 1. UC San Diego
  • 2. Yale-NUS College and NUS SoC
  • 3. ????

Description

Cyclic program synthesis, with support for certification via HTT/VST/Iris.

Files

TyGuS/suslik-v1.0.zip

Files (620.6 kB)

Name Size Download all
md5:7110e71cfb31cdaefe9ffe9c1ae772bf
620.6 kB Preview Download

Additional details

Related works

Is supplement to
https://github.com/TyGuS/suslik/tree/v1.0 (URL)