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 Link.
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 |
---|---|
Date Deposited | 29 May 2025 09:05 |
Last Modified | 29 May 2025 09:05 |