
OTTER
 Referenced in 301 articles
[sw02904]
 restricting searches for proofs. Otter can also be used as a symbolic calculator...

LiteRed
 Referenced in 62 articles
[sw16341]
 described. It performs the heuristic search of the symbolic IBP reduction rules for loop integrals ... implements also several convenient tools for the search of the symmetry relations, construction...

JavaFAN
 Referenced in 29 articles
[sw01934]
 framework, that can symbolically execute multithreaded programs, detect safety violations searching through an unbounded state...

OFMC
 Referenced in 26 articles
[sw09466]
 symbolic representation of the intruder, and constraint differentiation, which is a general searchreduction technique...

mexFunction
 Referenced in 6 articles
[sw10069]
 same name. MATLAB then searches for a symbol named mexFunction within the MEXfile...

VeriFast
 Referenced in 52 articles
[sw07705]
 recursive functions for specification. Verification proceeds by symbolic execution using an abstract representation of memory ... ground term. Since no significant search is performed by either the verifier...

FloPSy
 Referenced in 3 articles
[sw12793]
 FloPSy  searchbased floating point constraint solving for symbolic execution. Recently there has been ... interest in both, Search–Based Software Testing (SBST), and Dynamic Symbolic Execution (DSE). Each...

Eleven82
 Referenced in 1 article
[sw17445]
 crash states into a symbolic search for a proof that recovery terminates and every recovered...

PEORL
 Referenced in 2 articles
[sw29437]
 method leads to rapid policy search and robust symbolic plans in complex domains. The framework...

SQCS
 Referenced in 1 article
[sw10188]
 this symbolic approach is here illustrated with Grover’s quantum algorithm for database search...

PaReDuX
 Referenced in 1 article
[sw21562]
 approach to parallelizing software for symbolic computation uses search parallelism (ORparallelism). The goal...

Wolf
 Referenced in 2 articles
[sw01299]
 Wolf uses BDDbased symbolic methods integrated with a guided search framework. According...

SAFARI
 Referenced in 7 articles
[sw28669]
 capable of handling existentially quantified formulæ for symbolically representing states. A heuristics, called term abstraction ... quantified variables of invariants to prune the search space efficiently...

Wolfram Functions Site
 Referenced in 25 articles
[sw13597]
 features of Mathematica. Its builtin functions, symbolic capabilities, highprecision numerics, programmatic file manipulation ... addition to the current ability to search for functions and formulas by name, an enhanced...

AHFinderDirect
 Referenced in 24 articles
[sw04972]
 assume that an AH to be searched for is a Strahlkörper (`starshaped region’) with ... points) by Newton’s method, using a `symbolic differentiation’ technique to compute the Jacobian matrix...

Euclide
 Referenced in 3 articles
[sw07261]
 programs. By using a mixture of symbolic and numerical analyses (namely static single assignment form ... constraint propagation, integer linear relaxation and searchbased test data generation), it addresses three distinct...

RTEHunter
 Referenced in 0 articles
[sw25376]
 states, maximum depth of the symbolic execution tree and search strategy in order to find...

PANOW
 Referenced in 5 articles
[sw10156]
 PANOW is a software dedicated to the search of rare words in biological sequences (over ... occurrence times of a string of symbols in a stochastic process with mixing properties (such...

ExplicitPRISMSymm
 Referenced in 2 articles
[sw13369]
 model checking of concurrent system involves exhaustive search of the reachable state space associated with ... Most work on symmetry reduction focuses on symbolically represented probabilistic models, which are easy...

Kima
 Referenced in 3 articles
[sw08979]
 errors. Kima realizes automated correction by replacing symbol occurrences around the possible sources and recalculating ... alternatives that include an intended program. Search space is kept small because the minimal subset...