40 Years of Formal Methods Some Obstacles and Some Possibilities ?
Model checking JAVA programs using JAVA PathFinder