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.