57 citations · 144 across the 48 of their papers we have counts for
5 papers · 1 filter
Applying Multi-Core Model Checking to Hardware-Software Partitioning in Embedded Systems (extended version)
Alessandro Trindade, Hussama Ismail, Lucas Cordeiro
We present an alternative approach to solve the hardware (HW) and software (SW) partitioning problem, which uses Bounded Model Checking (BMC) based on Satisfiability Modulo Theorie…
Fault Localization in Multi-Threaded C Programs using Bounded Model Checking (extended version)
Erickson H. da S. Alves, Lucas C. Cordeiro, Eddie B. de Lima Filho
Software debugging is a very time-consuming process, which is even worse for multi-threaded programs, due to the non-deterministic behavior of thread-scheduling algorithms. However…
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…
Bounded Model Checking of C++ Programs Based on the Qt Framework (extended version)
Felipe R. M. Sousa, Lucas C. Cordeiro, Eddie B. de Lima Filho
The software development process for embedded systems is getting faster and faster, which generally incurs an increase in the associated complexity. As a consequence, consumer elec…
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…