Valério Medeiros Júnior

Publication Activity (10 Years)

Years Active: 2009-2013
Publications (10 Years): 0

Top Topics

Bayesian Networks

Top Venues

Publications

Valério Medeiros Júnior, David Déharbe
BEval: A Plug-in to Extend Atelier B with Current Verification Technologies. LAFM (2013)
Valério Medeiros Júnior, David Déharbe
Formal Modelling of a Microcontroller Instruction Set in B. SBMF (2009)
Bartira Dantas, David Déharbe, Stephenson Galvão, Anamaria Martins Moreira, Valério Medeiros Júnior
Verified Compilation and the B Method: A Proposal and a First Appraisal. Electron. Notes Theor. Comput. Sci. 240 (2009)