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

Human Automation Interaction Patterns

by Anakreontas for The Java Pathfinder Team

The main objective of the project is to extend the jpf-hmi project in order to support human automation interaction patterns and verification of their properties by the Java Path Finder model checker.