Fast, Verified Computation for HOL ITPs
Artikel i vetenskaplig tidskrift, 2025
Interactive theorem proving
Prover soundness
Higher-order logic
Författare
Oskar Abrahamsson
Chalmers, Data- och informationsteknik, Formella metoder
Magnus Myreen
Göteborgs universitet
ARM Limited
Chalmers, Data- och informationsteknik, Formella metoder
M. Norrish
Australian National University
Hrutvik Kanabar
ARM Limited
Johannes Åman Pohjola
Chalmers, Data- och informationsteknik, Computing Science
Göteborgs universitet
Journal of Automated Reasoning
0168-7433 (ISSN) 1573-0670 (eISSN)
Vol. 69 1 7Ämneskategorier (SSIF 2025)
Datavetenskap (datalogi)
Datorteknik
Datorsystem
DOI
10.1007/s10817-025-09719-8