activity
20202023
most citedVerifying Software Vulnerabilities in IoT Cryptographic Protocols

1 citations · 1 across the 4 of their papers we have counts for

collaborators
Showing cs.LGShow all

1 paper · 1 filter

cs.LG2023

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

Tong Wu, Edoardo Manino, Fatimah Aljaafari +2

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 (…