Menu ▾ ▴

Tree [r6] /
 History

HTTPS svn://
HTTPS access

File Date Author Commit
 sample 2006-11-23 martijno [r3] - Initial commit
 src 2006-11-23 martijno [r5] - Added license information in source files.
 LICENSE 2006-11-24 martijno [r6] - Small changes.
 Makefile 2006-11-23 martijno [r2] - Initial commit
 README 2006-11-23 martijno [r3] - Initial commit
 c2f 2006-11-23 martijno [r2] - Initial commit
 f2j 2006-11-23 martijno [r2] - Initial commit
 f2j_xml 2006-11-23 martijno [r2] - Initial commit
 flat-1_0.dtd 2006-11-23 martijno [r2] - Initial commit
 flat2fsm.xsl 2006-11-23 martijno [r2] - Initial commit
 fsm.dtd 2006-11-23 martijno [r2] - Initial commit
 pseudofsm.dtd 2006-11-23 martijno [r2] - Initial commit
 pseudofsm2fsm.xsl 2006-11-23 martijno [r2] - Initial commit
 pseudofsm2pseudofsm.xsl 2006-11-23 martijno [r2] - Initial commit
 string.xsl 2006-11-23 martijno [r2] - Initial commit
 uml13.dtd 2006-11-23 martijno [r2] - Initial commit
 uml2fsm 2006-11-23 martijno [r2] - Initial commit
 uml2fsm.xsl 2006-11-23 martijno [r2] - Initial commit
 uml2fsm_xml 2006-11-23 martijno [r2] - Initial commit
 uml2pseudofsm.xsl 2006-11-23 martijno [r2] - Initial commit
 xmi-1_0.dtd 2006-11-23 martijno [r2] - Initial commit
 xmi-1_1.dtd 2006-11-23 martijno [r2] - Initial commit

Read Me

AutoJML: Turns Finite State Machines into Java Card Applets

   Check http://autojml.sf.net/ for more recent information.

Installation

   make

   (If javacc is installed, you can also make the parser first
   using: make parser).

Usage

   ./f2j foo.xml

   Where foo.xml is an Uppaal XML file describing a
   finite state machine.

Files

   Makefile         To build F2J
   README           You're reading it now
   f2j              Shell script to run F2J
   flat-1_0.dtd     Uppaal output file format
   flat2fsm.xsl     Stylesheet from flat to fsm used by f2j script
   fsm.dtd          F2J input file format
   payapplet.xml    An example Uppaal output file
   src/             The Java sources of F2J
   string.xsl       Is used by flat2fsm.xsl

Authors

   Engelbert Hubbers (hubbers@cs.ru.nl)
   Martijn Oostdijk (martijno@cs.ru.nl)