activity
20162026
most citedBounded Model Checking of State-Space Digital Systems: The Impact of Finite Word-Length Effects on the Implementation of Fixed-Point Digital Controllers Based on State-Space Modeling

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

collaborators
Showing 2019Show all

2 papers · 1 filter

cs.LO2019

Beyond k-induction: Learning from Counterexamples to Bidirectionally Explore the State Space

Mikhail R. Gadelha, Felipe R. Monteiro, Enrico Steffinlongo +2

We describe and evaluate a novel k-induction proof rule called bidirectional k-induction (bkind), which substantially improves the k-induction bug-finding capabilities. Particularl…

cs.SE2019★ 1 cited

Boost the Impact of Continuous Formal Verification in Industry

Felipe R. Monteiro, Mikhail R. Gadelha, Lucas C. Cordeiro

Software model checking has experienced significant progress in the last two decades, however, one of its major bottlenecks for practical applications remains its scalability and a…