research
∙
09/07/2023
NeuroCodeBench: a plain C neural network benchmark for software verification
Safety-critical systems with neural network components require strong gu...
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
∙
06/13/2022
Combining BMC and Fuzzing Techniques for Finding Software Vulnerabilities in Concurrent Programs
Finding software vulnerabilities in concurrent programs is a challenging...
research
∙
01/10/2019