Alternatives to Dafny
Options that appear in the same research papers as Dafny, by co-occurrence.
| Alternative | Papers (with Dafny) | Avg viability |
|---|---|---|
| Z3 | 1 | — |
Options that appear in the same research papers as Dafny, by co-occurrence.
| Alternative | Papers (with Dafny) | Avg viability |
|---|---|---|
| Z3 | 1 | — |