
REDLOG
 Referenced in 156 articles
[sw04250]
 system that provides algorithms for the symbolic manipulation of firstorder formulas over some temporarily...

PRISM
 Referenced in 395 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 288 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 38 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 60 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 320 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 38 articles
[sw00597]
 polynomial real roots (by an algorithm combining symbolic and numerical computations) and approximation of real...

PDERecursionOperator
 Referenced in 23 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 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 14 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 38 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...

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...

GENTRAN
 Referenced in 19 articles
[sw04299]
 programs based on sets of algorithmic speciﬁcations and symbolic expressions. Formatted FORTRAN, RATFOR...

na20
 Referenced in 71 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 40 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 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...

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...