TY  - RPRT
TI  - LF-checker: Machine Learning Acceleration of Bounded Model Checking for Concurrency Verification (Competition Contribution)
AU  - Tong Wu
AU  - Edoardo Manino
AU  - Fatimah Aljaafari
AU  - Pavlos Petoumenos
AU  - Lucas C. Cordeiro
PY  - 2023
UR  - https://arxiv.org/abs/2301.09142
ID  - 2301.09142
ER  -