fibril_verifier
| Crates.io | fibril_verifier |
| lib.rs | fibril_verifier |
| version | 0.0.12 |
| created_at | 2023-01-07 04:21:10.136243+00 |
| updated_at | 2023-06-05 03:40:55.047207+00 |
| description | Verifies behavior for distributed systems implemented with the Fibril library. |
| homepage | |
| repository | https://github.com/jonnadal/fibril |
| max_upload_size | |
| id | 752775 |
| size | 147,596 |
Jon Nadal (jonnadal)
documentation
README
Fibril Verifier
Fibril Verifier is a library for model checking Fibril systems.
Usage
Please see the fibril_verifier docs.