https://github.com/logvinovleon/jpp3

Concurent programs verification
https://github.com/logvinovleon/jpp3

Last synced: about 1 month ago
JSON representation

Concurent programs verification

• Host: GitHub
• URL: https://github.com/logvinovleon/jpp3
• Owner: LogvinovLeon
• License: mit
• Created: 2016-05-19T13:55:42.000Z (over 8 years ago)
• Default Branch: master
• Last Pushed: 2016-06-10T11:05:42.000Z (over 8 years ago)
• Last Synced: 2024-10-31T15:23:58.696Z (3 months ago)
• Language: Prolog
• Size: 73.2 KB
• Stars: 0
• Watchers: 2
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

        
# Model checking of concurrent programs.

It's a prolog program which can model check some simple concurrent programs and say if they are safe, of find such a flow, where at least two processes are in the critical section at the same time