Zobrazeno 1 - 1
of 1
pro vyhledávání: '"Vignesh Gowda"'
Publikováno v:
MEMOCODE
Unsafe behavior of hybrid systems can have disastrous consequences, motivating the need for formal verification of the software running on these systems. Foundational verification in a proof assistant such as Coq is a promising technique that can pro
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::e6dfbc48f91f43f816a0741ad0f537a5
https://doi.org/10.1109/memcod.2015.7340492
https://doi.org/10.1109/memcod.2015.7340492
