5 citations · 5 across the 4 of their papers we have counts for
4 papers
New Metrics for Learning Evaluation in Digital Education Platforms
Gabriel Leitão, Juan Colonna, Edwin Monteiro +2
Technology applied in education can provide great benefits and overcome challenges by facilitating access to learning objects anywhere and anytime. However, technology alone is not…
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…
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…
Verifying Embedded C Software with Timing Constraints using an Untimed Model Checker
Raimundo Barreto, Lucas Cordeiro, Bernd Fischer
Embedded systems are everywhere, from home appliances to critical systems such as medical devices. They usually have associated timing constraints that need to be verified for the…