GSoC/GCI Archive
Google Summer of Code 2010 The Java Pathfinder Team

Checking Human Machine Interactions

by Sébastien Combéfis for The Java Pathfinder Team

This project will experiment with the use of JPF for checking properties of systems involving humans, user interfaces and the machine being controlled. It will focus on expressiveness of relevant properties, as well as analysis capabilities.