Modular Development of Hybrid Systems for Verification in Coq
Niqui, Milad and Tveretina, Olga
(2008)
Modular Development of Hybrid Systems for Verification in Coq.
Springer Nature.
In this paper we present a formalization of the theory of hybrid automata and algorithms for building trajectory trees using module types and functors in the Coq proof assistant
| Item Type | Other |
|---|---|
| Divisions | ?? sbu_specs ?? |
| Date Deposited | 18 Nov 2024 12:33 |
| Last Modified | 18 Nov 2024 12:33 |