
Uppaal2k
 Referenced in 43 articles
[sw01595]
 behaviors of a system description, i.e. sequences of symbolic states of the system ... visualize a trace as a message sequence chart (MSC). A requirement specification editor that also ... liveness properties by reachability analysis of the symbolic statespace. Since version...

Symstra
 Referenced in 18 articles
[sw01296]
 unit tests using symbolic execution Objectoriented unit tests consist of sequences of method invocations ... unit tests involves two tasks: generating method sequences that build relevant receiverobject states ... tasks using symbolic execution of method sequences with symbolic arguments. The paper defines symbolic states ... bound on the length of sequences, Symstra systematically explores the objectstate space...

CDNA
 Referenced in 9 articles
[sw37103]
 measure the ”predictability/compressibility” of a symbol sequence based on inexact matches. The local context...

WebLogo
 Referenced in 24 articles
[sw17263]
 sequence conservation at that position (measured in bits), whereas the height of symbols within ... provide a convenient and highly configurable sequence logo generator. A command line interface...

Whittle Surrogate
 Referenced in 1 article
[sw22532]
 Central File Exchange 40188. Generates a symbol sequence with a specified transition count ... from data one counts the occurrence of symbols and their transitions and stores the resulting ... this package produces surrogates sequences iteratively. At each step a symbol is chosen randomly, weighted ... that choice. The number of possible symbol sequences is given by Whittle’s formula. This...

JAN
 Referenced in 5 articles
[sw11642]
 brilliant paper: ”NonRepetitive Sequences on three symbols...

SYNAPS
 Referenced in 24 articles
[sw00941]
 ApplicationS) SYNAPS is a library devoted to symbolic and numeric computations. The kernel of this ... computing univariate and multivariate resultants, Sturm sequences, for analysing the toplogy of implicit curves...

Wave2Vec
 Referenced in 1 article
[sw37868]
 real number time series, into a sequence of symbols or a sequence of wavelet patterns ... proposed model vectorizes the symbols by learning the sequence using deep learningbased natural language ... series of real number data into sequences of symbols. In addition, it facilitates intuitive...

KMC
 Referenced in 4 articles
[sw20510]
 designed for counting kmers (sequences of consecutive k symbols) in a set of reads...

MUTERM
 Referenced in 34 articles
[sw10015]
 achieve termination by pruning all infinite rewrite sequences issued from every term. Contextsensitive rewriting ... replacements in some arguments of the function symbols are permanently forbidden. This paper describes...

BruijnViz
 Referenced in 1 article
[sw37124]
 length (n) taken from a symbol sequence are depicted on de Bruijn graph. The graph...

ordpy
 Referenced in 1 article
[sw37285]
 framework for mapping time series into symbolic sequences that triggered the development of many other...

Xaa
 Referenced in 2 articles
[sw29862]
 input one or two dimensional sequences of symbols. This system provides data generation tools...

Vcsn
 Referenced in 1 article
[sw21339]
 automata that not only accept sequences of symbols but compute for such sequence a ”value...

Cadence SMV
 Referenced in 27 articles
[sw07795]
 Cadence SMV is a symbolic model checking tool that allows you to formally verify temporal ... verify your design for all possible input sequences. While formal verification is often equated with...

DAFSA
 Referenced in 1 article
[sw32807]
 that allow to represent a set of sequences (typically character strings or ngrams ... single source vertex (the start symbol of all sequences) and at least one sink edge ... final symbols, each pointed to by one or more sequences). In the current implementation...

Mgfun
 Referenced in 8 articles
[sw06227]
 symbolic manipulation of a large class of special functions and combinatorial sequences...

MatchPy
 Referenced in 2 articles
[sw28943]
 supports associative and/or commutative function symbols, as well as sequence variables, similar to pattern matching...

EAT
 Referenced in 17 articles
[sw09167]
 symbolic software for effective homology computation. Kenzo: EAT (= Effective Algebraic Topology), the previous program. Before ... first program ever written implementing spectral sequences, in fact only some particular cases...

PANOW
 Referenced in 5 articles
[sw10156]
 protein sequences). Using recent results on occurrence times of a string of symbols...