https://github.com/phreppo/protocol-validation
https://github.com/phreppo/protocol-validation
formal-specification model-checking verification
Last synced: 3 months ago
JSON representation
- Host: GitHub
- URL: https://github.com/phreppo/protocol-validation
- Owner: phreppo
- Created: 2019-09-25T09:11:09.000Z (over 6 years ago)
- Default Branch: master
- Last Pushed: 2019-12-20T21:23:58.000Z (about 6 years ago)
- Last Synced: 2025-01-02T14:21:41.902Z (about 1 year ago)
- Topics: formal-specification, model-checking, verification
- Language: TeX
- Size: 222 KB
- Stars: 2
- Watchers: 2
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
Awesome Lists containing this project
README
# Protocol Validation
Formal specfication in the mCRL2 language of one hospital mechanic bed. Many _liveness_ and _safety_ properties are checked on the system. They can be found in the [properties](https://github.com/parof/protocol-validation/tree/master/specification/properties) directory. The system is also _deadlock free_.
## Compiling
To compile the project the [mCRL2](https://www.mcrl2.org/web/user_manual/index.html) toolkit is needed.
```
make # run specs
make run # run symulation
```