UTC Time, Formally Verified-Reference-Cited by-同舟云学术

UTC Time, Formally Verified

Published:2024-01-09 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 13th ACM SIGPLAN International Conference on Certified Programs and Proofs
language:
Short-container-title:

Author:

de Almeida Borges Ana¹,González Bedmar Mireia¹,Conejero Rodríguez Juan¹,Hermo Reyes Eduardo¹,Casals Buñuel Joaquim¹,Joosten Joost²

Affiliation:

1. University of Barcelona, Barcelona, Spain / Formal Vindications S.L., Barcelona, Spain

2. University of Barcelona, Barcelona, Spain

Funder

Ministry of Science, Innovation and Universities, Spain

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/3636501.3636958

Reference56 articles.

1. Ana de Almeida Borges . 2022 . Towards a Coq formalization of a quantified modal logic . In Proceedings of the 4th International Workshop on Automated Reasoning in Quantified Non-Classical Logics (ARQNL 2022 ), Christoph Benzmüller and Jens Otten (Eds.). CEUR, Haifa, Israel, 13–27. https://ceur-ws.org/Vol-3326/ARQNL 2022_paper1.pdf Ana de Almeida Borges. 2022. Towards a Coq formalization of a quantified modal logic. In Proceedings of the 4th International Workshop on Automated Reasoning in Quantified Non-Classical Logics (ARQNL 2022), Christoph Benzmüller and Jens Otten (Eds.). CEUR, Haifa, Israel, 13–27. https://ceur-ws.org/Vol-3326/ARQNL2022_paper1.pdf

2. The FormalV Library

3. To drive or not to drive: A logical and computational analysis of European transport regulations

4. Ana de Almeida Borges Guillaume Melquiond and Pierre Roux. 2021. Signed primitive integers. https://github.com/coq/coq/pull/13559 Ana de Almeida Borges Guillaume Melquiond and Pierre Roux. 2021. Signed primitive integers. https://github.com/coq/coq/pull/13559

5. Android. 2022. Date Class. Android Reference Manual. https://developer.android.com/reference/java/util/Date Android. 2022. Date Class. Android Reference Manual. https://developer.android.com/reference/java/util/Date