Word_Lib Dependents

2024

Schönhage-Strassen Multiplication

by Jakob Schulz

May 10

AutoCorres2

by Matthew Brecknell, David Greenaway, Johannes Hölzl, Fabian Immler, Gerwin Klein, Rafal Kolanski, Japheth Lim, Michael Norrish, Norbert Schirmer, Salomon Sickert, Thomas Sewell, Harvey Tuch and Simon Wimmer

Apr 17

2022

A Formal CHERI-C Memory Model

by Seung Hoon Park

Nov 25

2021

X86 instruction semantics and basic block symbolic execution

by Freek Verbeek, Abhijith Bharadwaj, Joshua Bockenek, Ian Roessle, Timmy Weerwag and Binoy Ravindran

Oct 13

2019

Interval Arithmetic on 32-bit Words

by Rose Bohrer

Nov 27

2018

CakeML

by Lars Hupel and Yu Zhang

Mar 12

2016

COMPLX: A Verification Framework for Concurrent Imperative Programs

by Sidney Amani, June Andronick, Maksym Bortin, Corey Lewis, Christine Rizkallah and Joseph Tuong

Nov 29

A formal model for the SPARCv8 ISA and a proof of non-interference for the LEON3 processor

by Zhe Hou, David Sanan, Alwen Tiu and Yang Liu

Oct 19

IP Addresses

by Cornelius Diekmann, Julius Michaelis and Lars Hupel

Jun 28

2013

Native Word

by Andreas Lochbihler

Sep 17

A Formal Model of IEEE Floating Point Arithmetic

by Lei Yu

Jul 27