State Models & Java Programs
following resources are available:
Lecture notes for Chapters 1-10, 12 and 14 of the book.
The set of demonstration programs in the book
may be run as applets in a Java Java™ 2 enabled browser from
here. The program source is also included. The complete set of applets,
Java™ source and Web pages can be downloaded as a zip file from
Transition System Analyzer v3.0
The LTS Analyzer can
be run as an Applet
from here in browsers which support
Java™ 2. A zip file containing jar files and installation instructions
can be downloaded from here.
First Edition Website
Comments, bugs, problems etc. -
email email@example.com or firstname.lastname@example.org