Related Work

Interesting papers

Papers Authors Notes About

LLBMC verifier

[Google Scholar]

Notes:
Papers:

Papers related to LLBMC verifier

TracerX: Dynamic symbolic execution with interpolation [jaffar:arxiv:2020]

The opinions expressed are my own views and not my employer’s.