Zobrazeno 1 - 3
of 3
pro vyhledávání: '"Bedmar, Mireia González"'
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
Autor:
de Almeida Borges, Ana, Rodríguez, Juan José Conejero, Fernández-Duque, David, Bedmar, Mireia González, Joosten, Joost J.
Publikováno v:
TIME 2019, 26th International Symposium on Temporal Representation and Reasoning, Proceedings
We argue that European transport regulations can be formalized within the Sigma^1_1 fragment of monadic second order logic, and possibly weaker fragments including linear temporal logic. We consider several articles in the regulation to verify these
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::75f813b744dcd75f46680841c226f5c8