ncatanoc / chasetool

Static analyzer of JML's assignable clause

The Chase Tool

1. README.md: this file

2. Makefile: project Makefile to run ChAsE on the files of a 'Purse JavaCard application'. This make file can be edited to use ChAsE on your own examples

3. make: directory containing the main Make file Makefile

4. jars: directory containing the .jar files of the ChAsE tool.

5. src: directory containing the annotated source of a Purse JavaCard application.

6. INSTALLATION.txt: file with instructions to install and to use ChAsE