
UMFPACK
 Referenced in 421 articles
[sw00989]
 numerical factorization. The preordering and symbolic analysis phase computes an upper bound on fill...

R
 Referenced in 10196 articles
[sw00771]
 nonlinear modelling, classical statistical tests, timeseries analysis, classification, clustering, ...) and graphical techniques ... quality plots can be produced, including mathematical symbols and formulae where needed. Great care...

MACSYMA
 Referenced in 721 articles
[sw01209]
 offers: symbolic and numeric manipulation and solution capabilities in algebra, calculus and numerical analysis...

SODAS
 Referenced in 74 articles
[sw00885]
 SODAS software. SODAS (Symbolic Official Data Analysis System) is a modular software in which each ... symbolic data, symbolic kernel discriminant analysis, symbolic description of groups, factorial discriminant analysis, principal component ... analysis, histograms and elementary statistics, segmentation tree for stratified data, decision tree, etc.) is manipulated ... linked in a chaining. A symbolic data analysis with SODAS software looks graphically like...

PRISM
 Referenced in 454 articles
[sw01186]
 PRISM: Probabilistic symbolic model checker. In this paper we describe PRISM, a tool being developed ... University of Birmingham for the analysis of probabilistic systems. PRISM supports three probabilistic models: discrete ... decision processes and continuoustime Markov chains. Analysis is performed through model checking such systems ... tool features three model checking engines: one symbolic, using BDDs (binary decision diagrams) and MTBDDs...

SuiteSparseQR
 Referenced in 45 articles
[sw07348]
 Threading Building Blocks library. The symbolic analysis and ordering phase preeliminates singletons by permuting...

SYMMGRP
 Referenced in 121 articles
[sw01066]
 SYMMGRP.MAX and other symbolic programs for Lie symmetry analysis of partial differential equations symmgrp.max...

SMS
 Referenced in 33 articles
[sw01085]
 formulas needed in nonlinear finite element analysis. Symbolic generation of the characteristic arrays of nonlinear ... pattern matching technique. SMS translates the derived symbolic formulas into an efficient compiled language (FORTRAN ... then incorporated into an existing finite element analysis environment. SMS was already used to developed...

OFMC
 Referenced in 28 articles
[sw09466]
 source fixedpoint model checker for symbolic analysis of security protocols. We introduce the open ... point model checker OFMC for symbolic security protocol analysis, which extends ... integration of a number of symbolic, constraintbased techniques, which are correct and terminating...

TAMARIN
 Referenced in 19 articles
[sw23438]
 TAMARIN prover for the symbolic analysis of security protocols. The Tamarin prover supports the automated ... unbounded, symbolic analysis of security protocols. It features expressive languages for specifying protocols, adversary models...

DAEPACK
 Referenced in 17 articles
[sw12958]
 divided into two major libraries: symbolic analysis and transformation andnumerical calculation. The symbolic analysis...

HyTech
 Referenced in 333 articles
[sw04125]
 HyTech is an automatic tool for the analysis of embedded systems. HyTech computes the condition ... components, and temporal requirements are verified by symbolic model checking. If the verification fails, then...

Uppaal2k
 Referenced in 43 articles
[sw01595]
 system description, i.e. sequences of symbolic states of the system. It may also be used ... bondedliveness properties by reachability analysis of the symbolic statespace. Since version...

Pex
 Referenced in 36 articles
[sw07263]
 performs a systematic program analysis (using dynamic symbolic execution, similar to pathbounded modelchecking...

Snugglebug
 Referenced in 7 articles
[sw13707]
 powerful approach to weakest preconditions. Symbolic analysis shows promise as a foundation for bugfinding ... generation. This paper addresses demanddriven symbolic analysis for objectoriented programs and frameworks. Many ... construction, where call graph construction and symbolic analysis are interleaved. With this technique, call graph ... guided by constraints discovered during symbolic analysis, obviating the need for exhaustively exploring a large...

JavaFAN
 Referenced in 32 articles
[sw01934]
 JavaFAN is a Java program analysis framework, that can symbolically execute multithreaded programs, detect safety...

SCAT
 Referenced in 9 articles
[sw25392]
 Symbolic Convex Analysis Toolkit (SCAT). The Symbolic Convex Analysis Toolkit (SCAT) is a Maple package...

LIE
 Referenced in 82 articles
[sw09264]
 selfcontained PC program for the Lie analysis of ordinary or partial differential equations, either ... simultaneous set. It is written in the symbolic mathematics language MUMATH and will ... previous version was for classical Lie analysis, finding the point symmetries of wellposed differential...

SAL
 Referenced in 9 articles
[sw13318]
 Symbolic Analysis Laboratory is an environment for the exploration and analysis of concurrent systems specified ... different highperformance model checkers for LTL: symbolic, bounded, and infinitebounded. The infinitebounded...

UPPAAL TIGA
 Referenced in 46 articles
[sw12913]
 algorithms for their analysis. The algorithm we propose [CDFLL05] is a symbolic extension...