Finite State Machine Verilog

FSME is a graphical tool to develop general finite state machines. Developed automatas are stored in files simular to Qt Designer. Theyre converted to C++ in the same way as UIC does. You can navigate FSME by selecting element in the tree, or clicking diagram elements. The Object Editor is... Platforms: *nix

Qfsm is a graphical editor for finite state machines written in C++ using Qt the graphical Toolkit from Trolltech. Finite state machines are a model to describe complex objects or systems in terms of the states they may be in. In practice they can used to design integrated circuits or to create... Platforms: *nix

iGREAT is an open-source, statistical machine translation software toolkit based on finite-state models. Platforms: Mac, Linux

JSpasm is a pure Java package for developing event-driven, state-based software applications and packages. This small-footprint package will handle multiple models and large numbers of entities in parallel, and includes features to support SMP operation. Platforms: Windows, Mac, Linux

jStates is a java library for easy state machine design and implementation.It uses XML to define states and state transitions. jStates is aimed at easy integration with desktop J2SE applications, Struts, Commons Validator, Web and other J2EE technologies Platforms: Windows, Mac, Linux

State Diagram Editor is a compact, flexible tool for the design of Finite State Machines - Intuitive User Interface using Drag&Drop - Simple Testing supported by visualized Execution - Support for the Design of complex Models using FSMs in a Responder Chain - Integrated Target Code Generation -... Platforms: Mac

State Diagram Editor is a compact, flexible tool for the design of Finite State Machines - Intuitive User Interface using Drag&Drop - Simple Testing supported by visualized Execution - Support for the Design of complex Models using FS Platforms: Mac

QSMM is a recursive acronym for "QSMM State Machine Model". The program tries to interact optimally with external event source represented by deterministic finite automaton. A prototype for request/response interaction mode is also implemented. Platforms: *nix

SCXML provides a generic state-machine based execution environment based on Harel State Tables. SCXML is a candidate for the control language within multiple markup languages coming out of the W3C (see Working Draft for details). Commons SCXML is an implementation aimed at creating and... Platforms: Mac

Langtons Ant project is an example of a finite-state cellular automata. The ant (or ants) start out on a grid. Each cell is either black or white. If the ant is on a black square, it turns right 90° and moves forward one unit. If the ant is on a white square, it turns left 90° and moves... Platforms: *nix

Algorithm::AhoCorasick provides efficient search for multiple strings. Aho-Corasick is a classic (1975) algorithm for locating elements of a finite set of strings within an input text. It constructs a finite state machine from a list of keywords, then uses the machine to locate all occurrences... Platforms: *nix

Constable Authorization Engine (CAZE) is a .NET Framework class library for managing and using application-defined authorization policies easily and efficiently.The CAZE authorization policy is stored as a XML document and it represents a set of authorization rules associated with an application... Platforms: Windows

AppComplete is a modelling and prototyping tool from CapableObjects.com , contains a UML-class modeller, contains a UML-state machine modeller, lets you execute your model including the state machines, uses the standard OCL as constraint and query language, can reverse engineer existing... Platforms: Windows

Aqueduct is a simple state machine library written in Java. Some programs can be described naturally as a state machine or a flowchart; this library is intended to simplify the development of such programs. Platforms: Windows, Mac, Linux

A library to build and manipulate finite state automata, I/O automata, transducers and rational langagues in Java. Platforms: Windows, Mac, Linux

MOCASEngine is a java UML state machine engine library for executing embedded UML state machine models. MOCASEngine works with Eclipse EMF. It has a full support of composite/orthogonal states, completion transitions, guard, hierarchy of signals, ... Platforms: Windows, Mac, Linux

This is an Hierarchical State Machine (aka Statechart) engine written in Java (1.5 +) Actually we will develop only support for a subset of UML 2.0 semantics but, in future, we hope to add support for other semantics. Platforms: Windows, Mac, Linux

The EJS Game of Life Model simulates a popular 2D cellular automata of a lattice in a finite state which is updated in accordance with a set of nearby-neighbor rules. The universe of the Game of Life, developed by John Conway, is a two-dimensional orthogonal grid of square cells, each of which is... Platforms: Mac

GinsFSM is a python library to develop systems based in finite-state machines (FSM). This model is really useful when writing networking and communication applications. In fact, it has been my programming style over 20 years of C language development (Yes!, Ia*m a grandfather developer), and now... Platforms: *nix

XPad design suite and IDE, allowing you to visually design, program, simulate, document and compile native assembly code or executable files for plug-in targets. XPad-models are created by using drag & drop with the mouse. The keyboard is only used to document your models. Targets include... Platforms: Windows