Published January 29, 2025 | Version v1
Diagram Open

Benchmarks of "Coma, an Intermediate Verification Language with Explicit Abstraction Barriers"

Creators

  • 1. ROR icon Laboratoire Méthodes Formelles

Description

It's a simple repository containing the results of our evaluation and instructions on how to reproduce them. The easiest way to reproduce this graph is to follow the Codeberg link and start there.

Files

data.png

Files (54.4 kB)

Name Size Download all
md5:2acff360894ab102e841308aaec10805
52.9 kB Preview Download
md5:5cd003cb1e15454a2a170390fd654cde
1.4 kB Preview Download

Additional details

Software

Repository URL
https://codeberg.org/paulpatault/bench_creusot_coma