
REDLOG
 Referenced in 162 articles
[sw04250]
 system that provides algorithms for the symbolic manipulation of firstorder 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 lineartime modelchecking of finitestate ... systems. Being onthefly, 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 (BDDbased) reachability, distributed reachability (MPIbased ... 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 modelchecking 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 speciﬁcations 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...