Browsing Research publications by Author "Mishra, Bud"
Now showing items 1-1 of 1
-
Modular Development of Hybrid Systems for Verification in Coq
Niqui, Milad; Tveretina, Olga (Springer Nature, 2008)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