We apologize for any inconvenience. We'll be back to full operation shortly.
Select a tag to browse associated projects and drill deeper into the tag cloud.
Spot is an object-oriented model checking library written in C++. It offers a set of bricks to experiment with and develop your own model checker.
AcStudio is a product for determinate the type rule (chaotic, stable, decreasing, increasing, chaotic - complex )
EiffelState is a library and a visual editor supporting Automata-based programming in Eiffel programming language and EiffelStudio IDE. The main ideas behind the project are the following: The central notion of Object-oriented Automata-based programming is the automated class. Unlike a regular ... [More]
State Machine Viewer - Automata Viewer The initial purpose is create a viewer of automata, using MPlex/MPPG and .Net CSharp(C#). Features: Recognizes a automata by input format: A = (Q, S, T, q0, F). Show the state diagram. Show the automata's transitions while process a input data. ... [More]
The LIFE Project provides an experimental research toolsuite in the field of cellular automata based on conway's game of life. conway, artificial, intelligence, ai, cellular, automata, java, c, python, framework, research, game, groovy, rcp 1. MissionThe mission of The LIFE Project is to ... [More]
Project aimed to group datas or linking them together based on their features. Feature previsions is the final goal. The code is developed in haskell language.
The Perl Formal Language Toolkit (FLaT), is a set of compatible Perl modules used for investigating regular expressions and finite automata. It is also a goal to create a tool kit, which may be used to create apps with FAs as underlying data structures..