• MONA

  • Referenced in 135 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 10 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 365 articles [sw00066]
  • BARON is a computational system for solving nonconvex...
  • Coq

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

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

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

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

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

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

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

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

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

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

  • Referenced in 15 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 2047 articles [sw00825]
  • Sage (SageMath) is free, open-source math software...