• REDLOG

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

  • Referenced in 280 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...
  • PRISM

  • Referenced in 376 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...
  • UPPAAL TIGA

  • Referenced in 37 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 57 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 313 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...
  • MPFI

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

  • Referenced in 21 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...
  • Isolde

  • Referenced in 27 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 14 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 37 articles [sw00553]
  • scientific programming language for symbolic and certified numeric algorithms. This language can be compiled...
  • PainleveTest

  • Referenced in 11 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...
  • SMART_

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

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

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

  • Referenced in 13 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...
  • na20

  • Referenced in 69 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...
  • DISCOVERER

  • Referenced in 37 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...
  • ACTLW

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

  • Referenced in 6 articles [sw10316]
  • state spaces. We propose an improved symbolic algorithm for the verification of linear hybrid automata ... hybrid state space are represented by one symbolic representation called LinAIGs. LinAIGs represent (possibly...