Valério Medeiros,  David Déharbe. 

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.

http://www.springerlink.com/content/016qt15v24875817/

Processando consulta.