Modular Development of Hybrid Systems for Verification in Coq
Author
Niqui, Milad
Tveretina, Olga
Attention
2299/15701
Abstract
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