# LF-checker: Machine Learning Acceleration of Bounded Model Checking for Concurrency Verification (Competition Contribution)

arXiv: https://arxiv.org/abs/2301.09142 · HTML: https://mlsanity.com/paper/2301.09142/

## Key facts

- No citing papers in the map yet (data through 14 Oct 2026).
- Builds on 1 of its 8 references that are in the map.
- First posted on arXiv 22 Jan 2023.

## Builds on (most cited first, 1 of 1)

- [Combining BMC and Fuzzing Techniques for Finding Software Vulnerabilities in Concurrent Programs](https://mlsanity.com/paper/2206.06043/) (2022)

## Abstract (arXiv)

We describe and evaluate LF-checker, a metaverifier tool based on machine learning. It extracts multiple features of the program under test and predicts the optimal configuration (flags) of a bounded model checker with a decision tree. Our current work is specialised in concurrency verification and employs ESBMC as a back-end verification engine. In the paper, we demonstrate that LF-checker achieves better results than the default configuration of the underlying verification engine.