
MONA
 Referenced in 128 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 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 highlevel language and interactive...

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

OpenFst
 Referenced in 12 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 1859 articles
[sw00825]
 Sage (SageMath) is free, opensource math software...