Valério Medeiros Júnior

According to our database, Valério Medeiros Júnior authored at least 5 papers between 2008 and 2019.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2019

BTestBox: A Tool for Testing B Translators and Coverage of B Models.

Diego de Azevedo Oliveira, Valério Medeiros Jr., David Déharbe, Martin A. Musicante

Proceedings of the Tests and Proofs - 13th International Conference, 2019

2014

LLVM-Based Code Generation for B.

Richard Bonichon, David Déharbe, Thierry Lecomte, Valério Medeiros Jr.

Proceedings of the Formal Methods: Foundations and Applications - 17th Brazilian Symposium, 2014

2013

BEval: A Plug-in to Extend Atelier B with Current Verification Technologies.

Valério Medeiros Júnior, David Déharbe

Proceedings of the Proceedings First Latin American Workshop on Formal Methods, 2013

2009

Formal Modelling of a Microcontroller Instruction Set in B.

Valério Medeiros Júnior, David Déharbe

Proceedings of the Formal Methods: Foundations and Applications, 2009

2008

Verified Compilation and the B Method: A Proposal and a First Appraisal.

Bartira Dantas, David Déharbe, Stephenson Galvão, Anamaria Martins Moreira, Valério Medeiros Júnior

Proceedings of the Eleventh Brazilian Symposium on Formal Methods, 2008