• OTTER

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

  • Referenced in 52 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 search-reduction technique...
  • mexFunction

  • Referenced in 6 articles [sw10069]
  • same name. MATLAB then searches for a symbol named mexFunction within the MEX-file...
  • FloPSy

  • Referenced in 3 articles [sw12793]
  • FloPSy - search-based 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...
  • VeriFast

  • Referenced in 49 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...
  • 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 (OR-parallelism). The goal...
  • Wolf

  • Referenced in 2 articles [sw01299]
  • Wolf uses BDD-based symbolic methods integrated with a guided search framework. According...
  • SAFARI

  • Referenced in 6 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 23 articles [sw13597]
  • features of Mathematica. Its built-in functions, symbolic capabilities, high-precision 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 (`star-shaped 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 search-based 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...