
UMDES
 Referenced in 403 articles
[sw09523]
 discrete event systems modeled by finitestate automata (FSA). There are routines for the manipulation ... many of the operations of supervisory control theory, and routines that implement the methodology developed...

PGSolver
 Referenced in 36 articles
[sw14051]
 duration that have important applications in automata theory and decision procedures (validity as well...

XDuce
 Referenced in 54 articles
[sw12436]
 describe its foundations in the theory of regular tree automata, and present a complete formal...

FAdo
 Referenced in 16 articles
[sw10335]
 pedagogical tool for teaching automata theory and formal languages. For the graphical visualization and interactive...

AMoRE
 Referenced in 12 articles
[sw20980]
 Expressions. AMoRE is an implementation of automata theory algorithms, including: conversion of regular expression into...

MIO Workbench
 Referenced in 29 articles
[sw09762]
 Input/Output interfaces (MIOs) is a new specification theory for systems communicating via inputs and outputs ... both modal automata and interface automata, two dominant specification theories for componentbased design. This...

GUItar
 Referenced in 10 articles
[sw10336]
 pedagogical tool for teaching automata theory and formal languages. For the graphical visualization and interactive...

Finite Automata HF
 Referenced in 6 articles
[sw29250]
 Finite Automata in Hereditarily Finite Set Theory. Finite Automata, both deterministic and nondeterministic...

RE2
 Referenced in 4 articles
[sw10266]
 even small inputs. RE2 uses automata theory to guarantee that regular expression searches...

Symbolic automata
 Referenced in 5 articles
[sw13262]
 toolkit lifts classical automata analysis to work modulo rich alphabet theories. It uses the power ... integration is also obtained by internalizing automata as theories. The toolkit, freely available from Microsoft...

Kleene Algebra
 Referenced in 8 articles
[sw32203]
 computing with applications ranging from automata and language theory to computational modeling, program construction...

Pyhybridanalysis
 Referenced in 3 articles
[sw14549]
 formula in the opportune theory. Automata are logicbased and their are defined as described ... guarantee the algorithm termination and there exist automata whose reach sets grow as the path ... formula belongs to the Tarski’s theory (i.e., is a firstorder formula involving polynomials...

Stamina
 Referenced in 2 articles
[sw24797]
 Stamina: stabilisation monoids in automata theory. We present Stamina, a tool solving three algorithmic problems ... automata theory. First, compute the star height of a regular language, i.e. the minimal number ... optimisations and heuristics, allow us to handle automata with several hundreds of states. This radically...

GaniFA
 Referenced in 3 articles
[sw30816]
 Java appletfor visualization of algorithms from automata theory. It can be downloaded fromour ... exercises,lecture notes or presentations on nite automata. Furthermore this web pagegives a short overview...

rbminer
 Referenced in 14 articles
[sw00783]
 automata into a Petri net. From very restricting initial requirements, the theory has evolved...

KrohnRhodes
 Referenced in 4 articles
[sw08794]
 finite state automata: Comparison of implementations for KrohnRhodes theory. The hierarchical ... algebraic decomposition of finite state automata (KrohnRhodes Theory) has been a mathematical theory without...

Petruchio
 Referenced in 16 articles
[sw04394]
 theory of structural stationarity in the πcalculus Automatatheoretic representations have proven useful ... novel characteristic functions. As application of the theory, we identify a rich syntactic class...

TAME
 Referenced in 5 articles
[sw28703]
 templates for specifying these automata, a set of auxiliary theories, and a set of specialized ... that rely on these theories and on the structure of automata defined using the templates...

CAVA
 Referenced in 2 articles
[sw28570]
 verifying important algorithmic parts of automata theory as well as its applications in model checking...