clock-zones 0.1.4

A library for handling 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].