• REDLOG

  • Referenced in 162 articles [sw04250]
  • system that provides algorithms for the symbolic manipulation of first-order formulas over some temporarily...
  • PRISM

  • Referenced in 424 articles [sw01186]
  • sparse matrices; and one which combines both symbolic and sparse matrix methods. PRISM has been ... range of systems, including randomized distributed algorithms, manufacturing systems and workstation clusters...
  • NuSMV

  • Referenced in 299 articles [sw04131]
  • NuSMV is a symbolic model checker developed as a joint project between: The Embedded Systems ... package use in the Bounded Model Checking algorithms...
  • UPPAAL TIGA

  • Referenced in 42 articles [sw12913]
  • their analysis. The algorithm we propose [CDFLL05] is a symbolic extension ... algorithm suggested by Liu & Smolka [LS98] for linear-time model-checking of finite-state ... systems. Being on-the-fly, the symbolic algorithm may terminate long before having explored ... implements various optimizations of the basic symbolic algorithm, as well as methods for obtaining time...
  • PDESpecialSolutions

  • Referenced in 63 articles [sw12342]
  • Symbolic computation of exact solutions expressible in hyperbolic and elliptic functions for nonlinear PDEs. Algorithms ... survey is given of related algorithms and symbolic software to compute exact solutions of nonlinear...
  • HyTech

  • Referenced in 330 articles [sw04125]
  • components, and temporal requirements are verified by symbolic model checking. If the verification fails, then ... trace. The standard reference to the HyTech algorithm is [1], and the standard reference...
  • PDERecursionOperator

  • Referenced in 27 articles [sw12345]
  • Symbolic algorithms for the Painlevé test, special solutions, and recursion operators for nonlinear PDEs. This ... paper discusses the algorithms and implementations of three MATHEMATICA packages for the study of integrability ... differential equations (PDEs). The first package, PainleveTest.m, symbolically performs the Painlevé integrability test. The second...
  • MPFI

  • Referenced in 41 articles [sw00597]
  • polynomial real roots (by an algorithm combining symbolic and numerical computations) and approximation of real...
  • Isolde

  • Referenced in 28 articles [sw00458]
  • equations. The Maple ISOLDE package contains algorithms for symbolically solving various classes of linear functional ... illustrate the use of our formal reduction algorithm and sketch the link with the computation...
  • LTSmin

  • Referenced in 18 articles [sw07214]
  • with symbolic state storage (vector set), fully symbolic (BDD-based) reachability, distributed reachability (MPI-based ... language modules, PINS optimizations, and model checking algorithms. On the other hand, the implementation ... verification algorithm based on the PINS matrix automatically has access to muCRL, mcrl2, DVE, PROMELA ... time and memory consumption of symbolic algorithms), partial order reduction and linear temporal logic...
  • Mathemagix

  • Referenced in 42 articles [sw00553]
  • scientific programming language for symbolic and certified numeric algorithms. This language can be compiled...
  • PainleveTest

  • Referenced in 12 articles [sw12344]
  • Symbolic algorithms for the Painlevé test, special solutions, and recursion operators for nonlinear PDEs. This ... paper discusses the algorithms and implementations of three MATHEMATICA packages for the study of integrability ... differential equations (PDEs). The first package, PainleveTest.m, symbolically performs the Painlevé integrability test. The second...
  • DISCOVERER

  • Referenced in 56 articles [sw07719]
  • consists of polynomial equations and polynomial inequalities. Algorithms for quantifier elimination of real closed fields ... bottleneck of program verification with a symbolic approach, one has to combine special techniques with ... algorithms [32,30,35] for SAS solving and partly implemented them as a real symbolic...
  • EvaluateMultiSums

  • Referenced in 17 articles [sw11639]
  • survey article, we present difference field algorithms for symbolic summation. Special emphasize ... solutions of the input problem. The algorithms are illustrated with the Mathematica package Sigma...
  • SMART_

  • Referenced in 33 articles [sw04097]
  • generation techniques, as well as symbolic CTL model-checking algorithms, are available. For the study...
  • FOXBOX

  • Referenced in 16 articles [sw00307]
  • black box representation of symbolic objects and provides algorithms for performing the symbolic calculus with...
  • na20

  • Referenced in 76 articles [sw11505]
  • with an arbitrary number of digits. The algorithm has been designed to deal also with ... hard polynomials like those arising from the symbolic preprocessing of systems of polynomial equations, where...
  • GENTRAN

  • Referenced in 19 articles [sw04299]
  • programs based on sets of algorithmic specifications and symbolic expressions. Formatted FORTRAN, RATFOR...
  • ACTLW

  • Referenced in 7 articles [sw21031]
  • characterisation of the operators together with symbolic algorithms for global model checking are shown. Usage...
  • rbMIT

  • Referenced in 143 articles [sw00784]
  • implements in Matlab® all the general RB algorithms. The rbMIT © MIT Software package is intended ... some reasonably fast platform, (iii) the Matlab® symbolic, pde, and optimizaton toolkits, and (iv) agreement...