Featured 

Finite Models

Software
State Diagram Editor Free Edition
free rating
79
Stefan Sachs
State Diagram Editor is a compact, flexible tool for the design of Finite State Machines - Intuitive User Interface using...
...for the design of Finite State Machines - Intuitive ...the Design of complex Models using FSMs in a...
Models!
rating
12
Wowsystems Informática Lda.
MODELS! (UML editor) **Special launch price with free upgrades until...
...for creating your models. Instead, it ...software design activity. Models! features code generation...
Amira
free rating
6
Visage Imaging GmbH
Amira is a powerful, multi-faceted software platform for visualizing, manipulating, and understanding...
...data, simulation data on finite element models, and all types...
Decimal Plugin
free rating
4
Bob Delaney
Decimal Plugin is a plugin for Xojo which adds a new number type, Decimal, to REALbasic...
...can exactly represent any finite decimal.
Triple-A
free rating
4
Markus Strauch
Triple-A (Automatic Analysis with Automata) is a full-featured library for...
...featured library for (finite) automata written in ...(dealing with LTL model checking and Presburger...
State Diagram Editor
rating
4
Stefan Sachs
About State Diagram Editor is a compact, flexible tool for the design...
...for the design of Finite State Machines. - Intuitive ...the Design of complex Models using FSMs in a...
Logic 2010
free rating
3
edu.ucla.phil.logic
Logic 2010 is a system for computer and Internet-assisted classroom instruction...
...truth tables, invalidity by finite models, and parsing. Students may...
Load Design
free rating
3
Yuichi Yamauchi
Load Design is a finite element analysis software for Mac. Main features: - Analysis Type...
...Design is a finite element analysis software ...: - Analysis Type : Finite Element Method (FEM, FEA...
Prover9-Mace4-v05B
free rating
1
mccune
Prover9 is an automated theorem prover for first-order and equational logic...
...and Mace4 searches for finite models and counterexamples. Prover9 is...
fsme
free rating
1
Qt/QMake
fsme is a graphical tool to develop general finite state machines. Developed automatas...
...tool to develop general finite state machines. Developed automatas...
Sets as Boxes
free rating Nathan Carter
Sets as Boxes is simple tool for visualizing finite sets as cardboard boxes. Main features...
...simple tool for visualizing finite sets as cardboard boxes...
Terminator 3 Rise of the Machines Screensaver: CG Models
free rating Warner Bros. Entertainment
A decade has passed since John Connor helped prevent Judgment Day and save mankind from mass destruction...
...Machines screensaver featuring CG models.
Resonant Element
rating Brandon Franklin
Resonant Element uses sophisticated artificial intelligence algorithms to generate high quality music...
...generation using stochastic models, Markov chains, and finite state machines...