banquo-core
| Crates.io | banquo-core |
| lib.rs | banquo-core |
| version | 0.1.0 |
| source | src |
| created_at | 2024-02-07 23:17:57.384734 |
| updated_at | 2024-02-07 23:17:57.384734 |
| description | Core types and implementations for Banquo monitor |
| homepage | |
| repository | https://github.com/cpslab-asu/banquo |
| max_upload_size | |
| id | 1131080 |
| size | 109,390 |
Quinn Thibeault (qthibeault)
documentation
https://docs.rs/banquo
README
Banquo Core
This crate contains the core types and implementations used by the banquo temporal logic monitoring library. This library is not intended to be used directly, instead you should install the banquo crate instead.
Structs
TracePredicateNotAndOrImpliesNextAlwaysEventuallyUntil
Traits
FormulaTopBottomMeetJoin