research
∙
01/22/2023
LF-checker: Machine Learning Acceleration of Bounded Model Checking for Concurrency Verification (Competition Contribution)
We describe and evaluate LF-checker, a metaverifier tool based on machin...
share
research
∙
06/28/2022
FuSeBMC v4: Improving code coverage with smart seeds via fuzzing and static analysis
Bounded model checking (BMC) and fuzzing techniques are among the most e...
research
∙
03/21/2021
EBF: A Hybrid Verification Tool for Finding Software Vulnerabilities in IoT Cryptographic Protocols
Internet of Things (IoT) consists of a large number of smart devices con...
research
∙
01/27/2020