using tla+ to verify a simple money transfer algorithm. in this code we have 3 processes which try to transfer money with different amount of money. current code is not working and need to be corrected in order to work
-
Notifications
You must be signed in to change notification settings - Fork 0
py2n/money_transfer
About
No description, website, or topics provided.
Resources
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published