Search Results for "fsm"

Java Quine McCluskey (JQM) implements the Quine-McCluskey algorithm with Petrick’s Method for minimizing Boolean functions. Designed for both education and industrial application, it handles up to 16 variables and functions. Uniquely, JQM bridges the gap between theory and practice: it visualizes the solution process with generated Karnaugh Maps for students, while supporting PLC engineers by exporting results to Structured Text (ST) and Ladder Diagram (LD). The software includes a GUI for...

Korat is a tool for constraint-based generation of structurally complex test inputs for Java programs. Please see http://korat.sourceforge.net/index.html for more information on the Korat application. Korat 2015 includes the below enhancements to Korat: - Graphical User Interface using Java Swing - Graph Output Format using JUNG (Java Universal Network/Graph Framework) - Finite State Machine Domain - Graph Archival using JSON (JavaScript Object Notation) The Wiki page has...

AnotherFSM is yet another implementation of state machines, a library for Java programming language.

... - The CMDBTransformer extracts information about the service provider’s landscape from the CMDB and creates instances of the Infrastructure layer of the PoSecCo FSM. - The CrossLayerLink tool supports the maintenance of the cross-layer links between the instances of the three layers of the PoSecCo FSM. - The ServiceProviderTemplate tool can be used to create landscape models for the suppliers, in the case they are not using the PoSecCo tools. - The StatusSetter Tool displays the completion status of the PoSecCo FSM and its layers and allows to modify it. ...

A Java library containing utility classes used by my other public projects. A few classes depend on the dk.brics.automaton FSM library.

GUI application that can be used for generate graph representation for any given DFA or NFA table and check weather strings are accepted or rejected by finite automata.

Automata Based Programming Tool for implementing logic for J2SE, J2EE and Sybmian applications. Consists of Java FSM Framework and Eclipse Plugin parts. Plugin implements UML model editor, visual debugger, validator, compiler and interpreter for Eclipse

This project has been moved to the Tungsten project, which contains a number of Tungsten technologies together. Please visit at http://sourceforge.net/projects/tungsten. This project will not be further maintained.

A generic finite state machine (FSM) API for the Java platform. The API enables creating a performing FSM at runtime and with type safety. Project also includes a non-blocking context scheduler for running FSMs over multiple contexts.

FSMGenerator is a turn-key solution for FSM (Finite State Machine) automatic generation and integration within user`s software. Please, register to get fast personalized support. Feedbacks, feature requests and bug reports are greatly appriciated.

FSMExplorer - Finite State Machine Explorer after reading specification of N FSM entities, generates available states for this FSM.

jFAST is a simple finite automata (FA) graphical simulation utility; it is designed to feature simple mechanisms for creating, editing, and simulating FA. jFAST is ideal for use by students, instructors, and self-guided explorers alike.

NunniFSMGen generates a FSM (Finite State Machine) in Java, C or C++ starting from a transition table. NunniFSMGen cleanly separates logic from implementation by using a modified version of the state pattern, easing the development process!

NunniMJAX is a minimal java library for parsing XML. The API and functioning recall SAX and is sequential and event-driven. The parser strives to verify that the XML is well-formed, but no validation. NunniMJAX's FSM has been generated using NunniFSMGen

The converter will convert INTERLIS 2 point symbols to symbols in the file format FSM. The first release will just be able to convert INTERLIS / XML to INTERLIS / XML. Further versions will convert INTERLIS / XML to FSM and the way back.

This is an open source state machine template for C++. Initially FSM support will be given. The purpose is to facilitate developers to create state machine based C++ applications easily.

This is a little Java Swing applications that lets you draw Finite State Machines (FSMs) and generates portable ANSI-C source code.

A special Multi-Queue ThreadPool for Finite State Machines that would execute the tasks in sequential order.

This project is an example of a software agent for playing simulated soccer. The agent uses a FSM library and an Expert System library to make decisions.