-
Notifications
You must be signed in to change notification settings - Fork 0
A tool to prove concurrent programs safe under relaxed memory models. Termination is guaranteed for Finite staet programs and for those infinite state programs which correspond to well structured transition systems (like Bakery algorithm)
License
chinuhub/Byom
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
Sample readme file for ProofTraPar project.
About
A tool to prove concurrent programs safe under relaxed memory models. Termination is guaranteed for Finite staet programs and for those infinite state programs which correspond to well structured transition systems (like Bakery algorithm)
Resources
License
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published