Formal Methods: Foundations and Applications

Volume 5902 of the series Lecture Notes in Computer Science pp 282-289

Formal Modelling of a Microcontroller Instruction Set in B

  • Valério MedeirosJr.Affiliated withFederal University of Rio Grande do Norte
  • , David DéharbeAffiliated withFederal University of Rio Grande do Norte

* Final gross prices may vary according to local VAT.

Get Access


This paper describes an approach to model the functional aspects of the instruction set of microcontroller platforms using the notation of the B method. The paper presents specifically the case of the Z80 platform. This work is a contribution towards the extension of the B method to handle developments up to assembly level code.