2 citations · 3 across the 3 of their papers we have counts for
Showing 2019Show all
2 papers · 1 filter
cs.LO2019
Metamath Zero: The Cartesian Theorem Prover
Mario Carneiro
As the usage of theorem prover technology expands, so too does the reliance on correctness of the tools. Metamath Zero is a verification system that aims for simplicity of logic an…
cs.LO2019★ 2 cited
Specifying verified x86 software from scratch
Mario Carneiro
We present a simple framework for specifying and proving facts about the input/output behavior of ELF binary files on the x86-64 architecture. A strong emphasis has been placed on…