activity
20112020
most citedNew Metrics for Learning Evaluation in Digital Education Platforms

5 citations · 5 across the 4 of their papers we have counts for

collaborators
Showing 2015Show all

2 papers · 1 filter

cs.LO2015

Model Checking Embedded C Software using k-Induction and Invariants (extended version)

Herbert Rocha, Hussama Ismail, Lucas Cordeiro +1

We present a proof by induction algorithm, which combines k-induction with invariants to model check embedded C software with bounded and unbounded loops. The k-induction algorithm…

cs.LO2015

Model Checking C Programs with Loops via k-Induction and Invariants

Herbert Rocha, Hussama Ismail, Lucas Cordeiro +1

We present a novel proof by induction algorithm, which combines k-induction with invariants to model check C programs with bounded and unbounded loops. The k-induction algorithm co…