Raimundo Barreto

1. Verifying Embedded C Software with Timing Constraints using an Untimed\n Model Checker
   2011/06/12 by Raimundo Barreto, Barreto, Raimundo, Lucas C. Cordeiro +3 · 1 citation
   Computer Science · #Embedded Systems Design Techniques #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Real-Time Systems Scheduling
2. Model Checking Embedded C Software using k-Induction and Invariants (extended version)
   2015/09/08 by Herbert Rocha, Hussama Ismail, Rocha, Herbert +5 · 1 citation
   Computer Science · Engineering · #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Radiation Effects in Electronics #Real-time simulation and control systems #Software Engineering (cs.SE)