• UMFPACK

  • Referenced in 421 articles [sw00989]
  • numerical factorization. The pre-ordering and symbolic analysis phase computes an upper bound on fill...
  • R

  • Referenced in 10196 articles [sw00771]
  • nonlinear modelling, classical statistical tests, time-series 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 continuous-time 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 pre-eliminates 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 fixed-point 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, constraint-based 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 ... bonded-liveness properties by reachability analysis of the symbolic state-space. Since version...
  • Pex

  • Referenced in 36 articles [sw07263]
  • performs a systematic program analysis (using dynamic symbolic execution, similar to path-bounded model-checking...
  • Snugglebug

  • Referenced in 7 articles [sw13707]
  • powerful approach to weakest preconditions. Symbolic analysis shows promise as a foundation for bug-finding ... generation. This paper addresses demand-driven symbolic analysis for object-oriented 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]
  • self-contained 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 well-posed differential...
  • SAL

  • Referenced in 9 articles [sw13318]
  • Symbolic Analysis Laboratory is an environment for the exploration and analysis of concurrent systems specified ... different high-performance model checkers for LTL: symbolic, bounded, and infinite-bounded. The infinite-bounded...
  • UPPAAL TIGA

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