Skip to content

NASA Formal Methods 2023
Compare
Choose a tag to compare
@SSoelvsten SSoelvsten released this 01 Sep 08:28
· 602 commits to main since this release
v3--FM2023
64bcfdd
This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Learn about vigilant mode.

Submission of our paper on Adiar 1.1.0 to NASA Formal Methods 2023. To this end, our combinatorial benchmarks can now also be solved with ZDDs. We have also added a Knight's Tour benchmark, but it might be buggy in the general version, i.e. the CUDD version.

Attached you can find the data and its analysis as also uploaded to Zenodo.

Assets 6
Loading