Formal Modelling of a Microcontroller Instruction Set in B.

Valério Medeiros Júnior David Déharbe

Published in: SBMF (2009)

Keyphrases

instruction set
floating point
computer architecture
low cost
application specific
embedded systems
formal methods
level parallelism
software systems
database
data analysis
multi dimensional
distributed systems
sufficient conditions
fixed point
memory subsystem