• MONA

  • Referenced in 128 articles [sw06170]
  • MONA tool provides an implementation of automaton-based decision procedures for the logics WS1S ... years, including formula reductions, DAGification, guided tree automata, three-valued logic, eager minimization, BDD-based...
  • TravMC

  • Referenced in 2 articles [sw09396]
  • order model checking - the model checking of trees generated by higher-order recursion schemes (HORS ... deterministic trivial automata: does the automaton accept every tree in the tree language generated...
  • IDP3

  • Referenced in 9 articles [sw22941]
  • somewhat related problem within biology where phylogenetic trees are used to represent the evolution ... classical problem of learning a minimal automaton consistent with a given set of strings...
  • TRecS

  • Referenced in 2 articles [sw14145]
  • deterministic) trivial automaton A as input, and checks whether the (possibly infinite) tree generated...
  • libVATA

  • Referenced in 1 article [sw33005]
  • well. There are two supported encoding of tree automata supported by the library: explicit ... storing the transition table of the automaton. It is intended to be used for automata ... appear in several formal verification techniques using tree automata, e.g., in the context of verification...
  • BARON

  • Referenced in 339 articles [sw00066]
  • BARON is a computational system for solving nonconvex...
  • Coq

  • Referenced in 1856 articles [sw00161]
  • Coq is a formal proof management system. It...
  • GAP

  • Referenced in 3068 articles [sw00320]
  • GAP is a system for computational discrete algebra...
  • LANGAGE

  • Referenced in 38 articles [sw00501]
  • LANGAGE: A Maple package for automaton characterization of...
  • Magma

  • Referenced in 3137 articles [sw00540]
  • Computer algebra system (CAS). Magma is a large...
  • Maple

  • Referenced in 5296 articles [sw00545]
  • The result of over 30 years of cutting...
  • MapReduce

  • Referenced in 257 articles [sw00546]
  • MapReduce is a new parallel programming model initially...
  • MATCONT

  • Referenced in 421 articles [sw00551]
  • MATCONT: Matlab software for bifurcation study of dynamical...
  • Mathematica

  • Referenced in 6235 articles [sw00554]
  • Almost any workflow involves computing results, and that...
  • Matlab

  • Referenced in 13100 articles [sw00558]
  • MATLAB® is a high-level language and interactive...
  • MiniSat

  • Referenced in 558 articles [sw00577]
  • An extensible SAT-solver. MiniSat is a minimalistic...
  • OpenFst

  • Referenced in 12 articles [sw00653]
  • We describe OpenFst, an open-source library for...
  • REGAL

  • Referenced in 18 articles [sw00791]
  • REGAL: A library to randomly and exhaustively generate...
  • SageMath

  • Referenced in 1859 articles [sw00825]
  • Sage (SageMath) is free, open-source math software...