Serval solver-based verifier

[Google Scholar]

Notes: Rosette solver, operating systems, LLVM compiler, binary analysis
Papers: nelson:sosp:2019

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