• UMDES

  • Referenced in 403 articles [sw09523]
  • discrete event systems modeled by finite-state 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 component-based 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 non-deterministic...
  • 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 logic-based 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 first-order 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...
  • Krohn-Rhodes

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

  • Referenced in 16 articles [sw04394]
  • theory of structural stationarity in the π-calculus Automata-theoretic 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...