vix.ing · top · new · best · stats · spec

Rocha, Herbert

  1. Model Checking Embedded C Software using k-Induction and Invariants (extended version)
    2015/09/08 by Herbert Rocha, Rocha, Herbert, Hussama Ismail +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)