Rigorous Floating-Point Round-Off Error Analysis in PRECiSA 4.0Sep 14, 2024·Laura Titolo,Mariano M. Moscato,Marco A. Feliu,Paolo Masci,Cesar A. Muñoz· 0 min read PDF Cite DOITypePreprintPublication26th International Symposium on Formal MethodsLast updated on Sep 14, 2024 A Temporal Differential Dynamic Logic Formal Embedding Jan 15, 2024 →