Submitted by el_wehby on Sun, 05/27/2018 - 10:51pm
| Title | Towards Verification of Hybrid Systems in a Foundational Proof Assistant |
| Publication Type | Conference Paper |
| Year of Publication | 2015 |
| Conference Name | Proceedings of the 2015 ACM/IEEE International Conference on Formal Methods and Models for Codesign |
| Publisher | IEEE Computer Society |
| Conference Location | Washington, DC, USA |
| ISBN Number | 978-1-5090-0237-5 |
| Keywords | 1544757 |
| URL | https://doi.org/10.1109/MEMCOD.2015.7340492 |
| DOI | 10.1109/MEMCOD.2015.7340492 |
| Citation Key | veridrone:MEMOCODE |
Towards Verification of Hybrid Systems in a Foundational Proof Assistant