11 unstable releases (3 breaking)

0.4.1 May 4, 2021
0.4.0 May 4, 2021
0.3.1 May 4, 2021
0.2.1 May 4, 2021
0.1.1 Oct 27, 2020

#2182 in Algorithms

Download history 8/week @ 2024-03-28 8/week @ 2024-04-04 9/week @ 2024-06-27 63/week @ 2024-07-04

72 downloads per month
Used in 3 crates

MIT license

41KB
889 lines

clock-zones

crate documentation

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].

Dependencies

~45KB