Key points are not available for this paper at this time.
We survey recent progress in software model checking.
Share your take
Add a clinician perspective alongside expert commentary.
Jhala et al. (Thu,) studied this question.