A compilation of solutions to exercises and some other problems proposed in the book Fundamental Proof Methods in Computer Science, authored by Konstantine Arkoudas and David Musser. The solutions are provided using Athena.
dotoverline/software-verification
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
About
Solving software verification exercises using Athena
Topics
Resources
Stars
Watchers
Forks
Releases
No releases published