5 citations · 7 across the 8 of their papers we have counts for
Showing cs.SEShow all
2 papers · 1 filter
cs.SE2024
ESBMC-Python: A Bounded Model Checker for Python Programs
Bruno Farias, Rafael Menezes, Eddie B. de Lima Filho +2
This paper introduces a tool for verifying Python programs, which, using type annotation and front-end processing, can harness the capabilities of a bounded model-checking (BMC) pi…
cs.SE2013★ 1 cited
Verifying Fixed-Point Digital Filters using SMT-Based Bounded Model Checking
Renato B. Abreu, Lucas Cordeiro, Eddie B. L. Filho
The implementation of digital filters in processors based on fixed-point arithmetic can lead to problems related to the finite word-length. In particular, the processing of signals…