search result

Cover von GOL in GOL in HOL

GOL in GOL in HOL

Verified Circuits in Conway’s Game of Life
Year: 2025
Media group: LIPIcs
Cover von The CakeML Project's Quest for Ever Stronger Correctness Theorems (Invited Paper)

The CakeML Project's Quest for Ever Stronger Correctness Theorems (Invited Paper)

Year: 2021
Media group: LIPIcs
Cover von Formal verification of machine-code programs
Author: Myreen, Magnus O. Search for this author
Year: 2008
Publisher: Cambridge, University
Media group: OPENACCESS
Cover von Fast, Verified Computation for Candle

Fast, Verified Computation for Candle

Year: 2023
Media group: LIPIcs
Cover von Taming an Authoritative Armv8 ISA Specification

Taming an Authoritative Armv8 ISA Specification

L3 Validation and CakeML Compiler Verification
Year: 2022
Media group: LIPIcs
Cover von Characteristic Formulae for Liveness Properties of Non-Terminating CakeML Programs

Characteristic Formulae for Liveness Properties of Non-Terminating CakeML Programs

Year: 2019
Media group: LIPIcs
Cover von Trends in Functional Programming
19th International Symposium, TFP 2018, Gothenburg, Sweden, June 11 - 13, 2018, Revised Selected Papers
Search for this author
Year: 2019
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science; 11457
Media group: MONOGRAPHIE
Cover von Practically Feasible Proof Logging for Pseudo-Boolean Optimization

Practically Feasible Proof Logging for Pseudo-Boolean Optimization

Year: 2025
Media group: LIPIcs
Cover von Candle

Candle

A Verified Implementation of HOL Light
Year: 2022
Media group: LIPIcs
Cover von Icing
Supporting Fast-Math Style Optimizations in a Verified Compiler : article in LNCS 11561
Search for this author
Year: 2019
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 11561 article
Media group: ARTICLE
OPEN V 11.1.0.0