Formal modelling of a microcontroller instruction set in B

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 5902 LNCS, Issue , 2009, Pages 282-289

  Medeiros Jr , Valério ^a   Déharbe, David ^a  

^a FEDERAL UNIVERSITY OF RIO GRANDE DO NORTE   (Brazil)

Author keywords

[No Author keywords available]

Indexed keywords

ASSEMBLY LEVELS; B METHOD; FORMAL MODELLING; FUNCTIONAL ASPECTS; INSTRUCTION SET; MICROCONTROLLER PLATFORMS;

MICROCONTROLLERS;

FORMAL METHODS;

EID: 70649107758     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-10452-7_19     Document Type: Conference Paper

References (6)

1. Abrial, J.R.: The B Book: Assigning Programs to Meanings, 1st edn. Cambridge University Press, USA (1996)
2. Aljer, P.D., Boulanger, S.T.J.-L., Bhdl, G.M.: Circuit Design in B. A. In: ACSD, Third International Conference on Application of Concurrency to System Design, pp. 241-242 (2003)
3. Casset, L., Lanet, J.L.: A Formal Specification of the Java Bytecode Semantics using the B method. Technical Report, Gemplus (1999)
4. Dantas, B., Déharbe, D., Galvão, S.L., Moreira, A.M., Medeiros Jr., V.G.: Applying the B Method to Take on the Grand Challenge of Verified Compilation. In: SBMF, Savaldor (2008), SBC
5. Hoare, C.A.R.: The verifying compiler, a grand challenge for computing research. In: Cousot, R. (ed.) VMCAI 2005. LNCS, vol. 3385, p. 78. Springer, Heidelberg (2005)
6. Zilog. Z80 Family CPU User Manual, http://www.zilog.com/docs/z80/um0080. pdf