CIVL verifier

[Google Scholar] [Website]

Notes: intermediate verification language, symbolic execution, Boogie verifier

CIVL is an extension of the Boogie verifier with some concurrency primitives, a model checker based on symbolic execution, a concurrency intermediate verification language.

  • CIVL: the concurrency intermediate verification language [siegel:sc:2015]