Author of the publication

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

, , , , and . CoRR, (2023)