Finite Machine Word Library

MaRDI QIDQ7361376FDO

Authors Joel Beeren, Matthew Fernandez, Xin Gao, Gerwin Klein, Rafal Kolanski, Japheth Lim, Corey Lewis, Daniel Matichuk, Thomas Sewell

Publication date 9 June 2016

Cites work

• Mathematics for computer scientists. An introduction to this topic using practical examples from the computer world

Cited in

(11)

• X86 instruction semantics and basic block symbolic execution
• Native Word
• CakeML
• Schönhage-Strassen Multiplication
• IP Addresses
• COMPLX: A Verification Framework for Concurrent Imperative Programs
• A formal model for the SPARCv8 ISA and a proof of non-interference for the LEON3 processor
• AutoCorres2
• Interval Arithmetic on 32-bit Words
• A Formal CHERI-C Memory Model
• A Formal Model of IEEE Floating Point Arithmetic

This page was built for software: Finite Machine Word Library