Date: 2009-04-02 18:22:28Functional languages Type theory Automated theorem proving Hybrid automaton Numerical analysis Proof assistant Coq Verification OCaml Model checking Discretization | | Verification of Hybrid Systems in Coq H. Geuvers, A. Koprowski, D. Synek, E. van der Weegen BRICKS AFM4 Advancing the Real use of Proof Assistants Foundations group, Intelligent Systems, ICIS Radboud University NijmegenAdd to Reading ListSource URL: www.cs.ru.nlDownload Document from Source Website File Size: 1,65 MBShare Document on Facebook
|