This project aims at providing a Coq characterisation for models of timed data-flow reactive systems, a class of embedded systems whose inputs and outputs are always available as signals.
-
Updated
Jun 12, 2020 - Coq
This project aims at providing a Coq characterisation for models of timed data-flow reactive systems, a class of embedded systems whose inputs and outputs are always available as signals.
Add a description, image, and links to the quickchick topic page so that developers can more easily learn about it.
To associate your repository with the quickchick topic, visit your repo's landing page and select "manage topics."