CREST verifier

[Google Scholar]

Notes:
Papers:

  • Symbolic execution for software testing: Three decades later [cadar:cacm:2013]