Here you can download the full generated Java Card source code and the full generated terminal code.

You can take a look at the single Java Card classes:

• The Purse class, Communication, Encoding, and the Store
• Purse.java
• SimpleComm.java
• Codeable.java
• Code.java
• Coding.java
• Store.java
• Messages and data types
• Ack.java
• GetBalance.java
• GetData.java
• ListOfPayDetails.java
• Message.java
• Msgcontent.java
• PayDetails.java
• PlainData.java
• Req.java
• ResGetBalance.java
• ResGetData.java
• StartFrom.java
• StartTo.java
• Val.java
• PurseData.java
• Constants.java
• State.java
• Predefined cryptographic and other classes
• Key.java
• Symmkey.java
• EncData.java
• EncDataSymm.java
• Arrays.java
• Math.java

Back, Top, Continue to the generated formal model (ASM and specifications) .