FSMedit V3.1

FSMedit V3.1

[Grein, Christoph]

FSMedit - The Finite State Machines Editor - Version 3.1

New in this version: Undo/Redo facility and tooltips.

FSMedit aids in specifying transition diagrams for Finite State Machines.
When the transition diagram of a FSM has been specified, a simulation can
be executed interactively or via scripts.

>From the transition diagrams, Ada code can be generated; also the reverse,
extraction of transition diagrams from Ada code is possible.

Tools for reachability analysis and for comparison of machines are also
available.

FSMedit has been implemented with Claw and with GtkAda, so it can run in
Unix and Windows worlds.

FSMedit has been released under the Gnu GPL. However, since it is an "editor",
any software (i.e. Finite State Machine) you produce with it does not fall
under any licence other than you choose yourself.

To download FSMedit together with Ada source code and a complete user's
manual, see

    <http://home.t-online.de/home/Christ-Usch.Grein/Ada/FSM.html>

                                 o     _      _          _
 --------- __o       __o      /\_    _ \\o   (_)\__/o   (_)
 ------- _`\<,_    _`\<,_    _>(_)  (_)/<_     \_| \    _|/' \/
 ------ (_)/ (_)  (_)/ (_)  (_)         (_)    (_)     (_)'  _\o_
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
Mein Radunfall
My bike accident


Christoph Grein
Mitglied von Ada-Deutschland
Member of Ada Germany
http:/www.ada-deutschland.de

http://home.T-Online.de/home/Christ-Usch.Grein
eMail: Christ-Usch.Grein@T-Online.de