The MCAPL Project provides a tool for prototyping BDI agent programming languages and model checking programs written in these languages via an interface to the JavaPathfinder model checker.
Version 1.1.5
- Added: Added the ability to edit the EMV panel - You can change which tags show, and what order they are in
- Added: Tag 9F10 (Issuer Application Data) to which also includes CVR (a subtag of 9F10)
- Added: Menu link to the homepage (sourceforge)
- Fixed: 9F07/AUC had the wrong tag details
- Fixed: File>Close now saves notes and config updates before exiting
- Fixed: Tag 95/TVR title had a spelling mistake
- Fixed: Homepage wasn't populating EMV page names
-...
Jassda is a framework that extracts a sequence of method-invokations from a Java application during runtime using the Java Debug Interface (JDI). Jassda provides two modules that operate on the sequence: a logger and a trace-checker