Jpf model checking
SYMBOLIC MODEL CHECKING: 10 20 STATES AND BEYOND J.R. Burch E.M. Clarke K.L. McMillan D. L. Dill L. J. Hwang Presented by Rehana Begam.
Software ’ s Chronic Crisis
CS 267: Automated Verification Lecture 12: Software Verification Using Explicit State Model Checking, Java Path Finder, CMC Instructor: Tevfik Bultan.