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

Autor:	Wu, Tong, Manino, Edoardo, Aljaafari, Fatimah, Petoumenos, Pavlos, Cordeiro, Lucas C.
Rok vydání:	2023
Předmět:	Computer Science - Machine Learning
Druh dokumentu:	Working Paper
Popis:	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.
Databáze:	arXiv
Externí odkaz:	http://arxiv.org/abs/2301.09142 Zobrazit plný text záznamu View this record from Arxiv