Felipe R. Monteiro

ESBMC 5.0: an industrial-strength C model checker

Mikhail R. Gadelha, Felipe R. Monteiro, Jeremy Morse et al. · 2018 · 99 citations

Program Checking, Engineering, Hardware Verification Language +23

Code-level model checking in the software development workflow

Nathan Chong, Byron Cook, Kareem Khazem et al. · 2020 · 29 citations · Full text

Software Maintenance, Engineering, Verification +20

Code‐level model checking in the software development workflow at Amazon Web Services

Nathan Chong, Byron Cook, Jonathan Eidelman et al. · Software Practice and Experience · 2021 · 24 citations · Full text

Software Maintenance, Engineering, Verification +23

SMT‐based context‐bounded model checking for CUDA programs

Phillipe Pereira, Higo F. Albuquerque, Isabela da Silva et al. · Concurrency and Computation Practice and Experience · 2016 · 21 citations

Program Checking, Engineering, Cuda‐based Programs +25

Bounded model checking of C++ programs based on the Qt cross‐platform framework

Felipe R. Monteiro, Mário Garcia, Lucas C. Cordeiro et al. · Software Testing Verification and Reliability · 2017 · 21 citations · Full text

C++ Programs, Program Checking, Engineering +26