2 papers
cs.SE2025
Generative transformations and patterns in LLM-native approaches for software verification and falsification
VÃctor A. Braberman, Flavia Bonomo-Braberman, Yiannis Charalambous +3
The emergence of prompting as the dominant paradigm for leveraging Large Language Models (LLMs) has led to a proliferation of LLM-native software, where application behavior arises…
cs.SE2024
Interval Analysis in Industrial-Scale BMC Software Verifiers: A Case Study
Rafael Sá Menezes, Edoardo Manino, Fedor Shmarov +3
Bounded Model Checking (BMC) is a widely used software verification technique. Despite its successes, the technique has several limiting factors, from state-space explosion to lack…