Felipe R. Monteiro

1. Kani: A Model Checker for Rust
   2026/07/01 by Rémi Delmas, Zyad Hassan, Qinheping Hu +9 · 11 voices
   #cs.SE #cs.LO #cs.PL
2. Model Checking C++ Programs
   2021/07/02 by Felipe R. Monteiro, Monteiro, Felipe R., Mikhail R. Gadelha +3 · 1 voice · 2 citations
   Computer Science · #FOS: Computer and information sciences #Software Engineering (cs.SE) #cs.SE