PINPAS JC Project

PINPAS JC Project - Software

Tools available for download on Wojciech Mostoski's software page include

• PATT: the PinPas Applet Testing Tool
• ocfjpcsc: Open Card Framework (OCF) library/driver for PCSC compliant smart card readers

Also available there are JML specifications for Java Card API 2.2.1 for use with ESC/Java2. JML specifications and a reference implementation of the Java Card API 2.2.1 for use with the KeY system are still under construction.