Zobrazeno 1 - 2
of 2
pro vyhledávání: '"Rodríguez, Juan Conejero"'
Autor:
Borges, Ana de Almeida, Bedmar, Mireia González, Rodríguez, Juan Conejero, Reyes, Eduardo Hermo, Buñuel, Joaquim Casals, Joosten, Joost J.
Publikováno v:
In Proceedings of the 13th ACM SIGPLAN International Conference on Certified Programs and Proofs (CPP 24), January 15--16, 2024, London, UK. ACM, New York, NY, USA, 12 pages
FV Time is a small-scale verification project developed in the Coq proof assistant using the Mathematical Components libraries. It is a library for managing conversions between time formats (UTC and timestamps), as well as commonly used functions for
Externí odkaz:
http://arxiv.org/abs/2209.14227
Autor:
Borges, Ana de Almeida, Bedmar, Mireia González, Rodríguez, Juan Conejero, Reyes, Eduardo Hermo, Buñuel, Joaquim Casals, Joosten, Joost J.
FV Time is a small-scale verification project developed in the Coq proof assistant using the Mathematical Components libraries. It is a library for managing conversions between time formats (UTC and timestamps), as well as commonly used functions for
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::771e2bfa49bae2dce4283248d19764fc
http://arxiv.org/abs/2209.14227
http://arxiv.org/abs/2209.14227