5 citations · 7 across the 8 of their papers we have counts for
4 papers · 1 filter
ESBMC-Solidity: An SMT-Based Model Checker for Solidity Smart Contracts
Kunjian Song, Nedas Matulevicius, Eddie B. de Lima Filho +1
Smart contracts written in Solidity are programs used in blockchain networks, such as Etherium, for performing transactions. However, as with any piece of software, they are prone…
Verification of Magnitude and Phase Responses in Fixed-Point Digital Filters
Daniel P. M. de Mello, Mauro L. de Freitas, Lucas C. Cordeiro +4
In the digital signal processing (DSP) area, one of the most important tasks is digital filter design. Currently, this procedure is performed with the aid of computational tools, w…
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…
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…