- Download ACL2s from http://acl2s.ccs.neu.edu/acl2s/doc/ and follow the setup procedure described.
- Import the `sim.lisp` file from the repository.
- Advance the to-do line to the end.
- Success!
The accompanying paper can be found here
-
Notifications
You must be signed in to change notification settings - Fork 0
ethan-leba/stop-and-wait-arq-proof
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
An ACL2 proof modelling the stop-and-wait protocol.
Resources
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published