Physical Addressing on Real Hardware in Isabelle/HOL.

Reto Achermann Lukas Humbel David Cock Timothy Roscoe

Published in: ITP (2018)

Keyphrases

theorem prover
natural deduction
low cost
real time
image processing
real world
inference rules
real life
hardware and software
hardware architecture
databases
information systems
expert systems
computer systems
virtual space
higher order logic