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.
-
Notifications
You must be signed in to change notification settings - Fork 0
dotoverline/software-verification
About
Solving software verification exercises using Athena
Topics
Resources
Stars
Watchers
Forks
Releases
No releases published