Mikhail Ramalho

Publication Activity (10 Years)

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

Top Topics

Computer Programs

Linear Temporal Logic

Bayesian Networks

Top Venues

Publications

Jeremy Morse, Mikhail Ramalho, Lucas C. Cordeiro, Denis A. Nicole, Bernd Fischer
ESBMC 1.22 - (Competition Contribution). TACAS (2014)
Mikhail Ramalho, Mauro Freitas, Felipe Rodrigues Monteiro Sousa, Hendrio Marques, Lucas C. Cordeiro, Bernd Fischer
SMT-Based Bounded Model Checking of C++ Programs. ECBS (2013)