Model Checking Programs with Java PathFinder

30^th September 2002, 15:00
Willem Visser
Research Institute for Advanced Computer Science, NASA Ames, California, USA