
MONA
 Referenced in 135 articles
[sw06170]
 MONA tool provides an implementation of automatonbased decision procedures for the logics WS1S ... years, including formula reductions, DAGification, guided tree automata, threevalued logic, eager minimization, BDDbased...

TravMC
 Referenced in 2 articles
[sw09396]
 order model checking  the model checking of trees generated by higherorder 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 highlevel language and interactive...

MiniSat
 Referenced in 584 articles
[sw00577]
 An extensible SATsolver. MiniSat is a minimalistic...

OpenFst
 Referenced in 15 articles
[sw00653]
 We describe OpenFst, an opensource library for...

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

Regexpcount
 Referenced in 6 articles
[sw00792]
 Regexpcount, a symbolic package for counting problems on...

SageMath
 Referenced in 2047 articles
[sw00825]
 Sage (SageMath) is free, opensource math software...