/chasetool

Static analyzer of JML's assignable clause

Primary LanguageJava

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