A Formal Object-Oriented Analysis for Software Reliability Design for Verification
Model checking JAVA programs using JAVA PathFinder