Published April 8, 2024 | Version v1
Software Open

Artifact for CAV 2024 paper Breaking the Mold: Nonlinear Ranking Function Synthesis without Templates

Authors/Creators

  • 1. ROR icon Princeton University

Description

Artifact for CAV 2024 paper Breaking the Mold: Nonlinear Ranking Function Synthesis without Templates

Files

cav2024_ae_submission.zip

Files (17.9 GB)

Name Size Download all
md5:497504ac33204f69fec68fe829a6bca6
17.9 GB Preview Download

Additional details

Dates

Submitted
2024-04-07

Software

Programming language
OCaml , Python