Proving Reflex Program Verification Conditions in Coq Proof Assistant
In: IEEE 22nd International Conference of Young Professionals in Electron Devices and Materials (EDM); (2021-06-30) S. 485-488
Konferenz
Zugriff:
Titel: |
Proving Reflex Program Verification Conditions in Coq Proof Assistant
|
---|---|
Autor/in / Beteiligte Person: | Chernenko, Ivan ; Anureev, Igor ; Garanina, Natalia |
Quelle: | IEEE 22nd International Conference of Young Professionals in Electron Devices and Materials (EDM); (2021-06-30) S. 485-488 |
Veröffentlichung: | 2021 |
Medientyp: | Konferenz |
ISBN: | 978-1-6654-1498-2 (print) |
ISSN: | 2325-419X (print) |
DOI: | 10.1109/EDM52169.2021.9507628 |
Sonstiges: |
|