Inproceedings,

Explicit-State Software Model Checking Based on CEGAR and Interpolation.

, and .
FASE, volume 7793 of Lecture Notes in Computer Science, page 146-162. Springer, (2013)

Meta data

Tags

Users

  • @dblp

Comments and Reviews