clock-zones
| Crates.io | clock-zones |
| lib.rs | clock-zones |
| version | 0.4.1 |
| created_at | 2020-10-27 01:37:35.490335+00 |
| updated_at | 2021-05-04 22:40:55.341762+00 |
| description | A library for handling clock zones. |
| homepage | |
| repository | https://github.com/koehlma/momba |
| max_upload_size | |
| id | 305823 |
| size | 40,262 |
Maximilian Köhl (koehlma)
documentation
https://docs.rs/clock-zones
README
clock-zones
A library for handling clock zones as they appear in the context of timed automata. Timed automata have been pioneered by Rajeev Alur and David Dill in 1994 to model real-time systems [1]. Timed automata extend finite automata with real-valued clocks. This crate provides an implementation of the difference bound matrix (DBM) data structure to efficiently represent clock zones. The implementation is mostly based on [2].