Fast, Verified Computation for Candle
Paper i proceeding, 2023
Prover soundness
Higher-order logic
Interactive theorem proving
Författare
Oskar Abrahamsson
Chalmers, Data- och informationsteknik, Formella metoder
Magnus Myreen
Chalmers, Data- och informationsteknik, Formella metoder
Leibniz International Proceedings in Informatics, LIPIcs
18688969 (ISSN)
Vol. 268 49783959772846 (ISBN)
Bialystok, Poland,
Ämneskategorier
Datorteknik
Datavetenskap (datalogi)
Datorsystem
DOI
10.4230/LIPIcs.ITP.2023.4