SPARK and Tokeneer Demo

This short video showcases the SPARK 2014 technology based on code from the Tokeneer Project updated for SPARK 2014. The Tokeneer project is a highly secure biometric software system. It was commissioned to demonstrate developing systems with formal methods.