Picture for Fatimah Aljaafari

Fatimah Aljaafari

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

Add code
Jan 22, 2023
Viaarxiv icon