57 citations · 144 across the 48 of their papers we have counts for
5 papers · 1 filter
Optimal Sizing of Stand-alone Solar PV Systems via Automated Formal Synthesis
Alessandro Trindade, Lucas Cordeiro
There exist various methods and tools to size solar photovoltaic systems; however, these tools rely on simulations, which do not cover all aspects of the design space during the se…
Incremental Bounded Model Checking of Artificial Neural Networks in CUDA
Luiz H. Sena, Iury V. Bessa, Mikhail R. Gadelha +2
Artificial Neural networks (ANNs) are powerful computing systems employed for various applications due to their versatility to generalize and to respond to unexpected inputs/patter…
Finding Security Vulnerabilities in Unmanned Aerial Vehicles Using Software Verification
Omar M. Alhawi, Mustafa A. Mustafa, Lucas C. Cordeiro
The proliferation of Unmanned Aerial Vehicles (UAVs) embedded with vulnerable monolithic software has recently raised serious concerns about their security due to concurrency aspec…
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…
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…