We only have this paper's title and publication details.
We survey recent progress in software model checking.
No takes yet. Share an insight, caveat, or question.
Jhala et al. (2009) studied this question.