• TINA

  • Referenced in 45 articles [sw03280]
  • proposes the construction of a number of representations for the behaviour of Petri nets ... state spaces, they provide a finite symbolic representation of their behaviour in terms of state...
  • OFMC

  • Referenced in 28 articles [sw09466]
  • lazy intruder, which is a symbolic representation of the intruder, and constraint differentiation, which...
  • VeriFast

  • Referenced in 64 articles [sw07705]
  • specification. Verification proceeds by symbolic execution using an abstract representation of memory as a separation...
  • FOXBOX

  • Referenced in 16 articles [sw00307]
  • system for manipulating symbolic objects in black box representation. The FOXBOX system ... puts in practice the black box representation of symbolic objects and provides algorithms for performing ... symbolic calculus with such representations. Black box objects are stored as functions. For instance ... black box representation of objects can push the size of symbolic expressions far beyond what...
  • UMFPACK

  • Referenced in 415 articles [sw00989]
  • multifrontal numerical factorization. The pre-ordering and symbolic analysis phase computes an upper bound ... sparse matrix, and converting between sparse matrix representations.\parThe simple user interface shields the user...
  • Dedalus

  • Referenced in 21 articles [sw25607]
  • equations sets. You build a spectrally-representable domain, symbolically specify equations and boundary conditions, select...
  • S3

  • Referenced in 9 articles [sw19495]
  • algorithm first makes use of a symbolic representation so that membership in a set defined ... constraint-based generation of instances from these symbolic expressions so that the total number...
  • iSAX

  • Referenced in 9 articles [sw37681]
  • data has produced many interesting algorithms and representations. However, the algorithms and the size ... show how a novel multi-resolution symbolic representation can be used to index datasets which...
  • Synthia

  • Referenced in 8 articles [sw12933]
  • with difference bound matrices for a symbolic representation of both the discrete control-related...
  • dk.brics.automaton

  • Referenced in 7 articles [sw12040]
  • unrestricted regular operations. It uses a symbolic representation based on intervals of Unicode characters...
  • VATA

  • Referenced in 7 articles [sw09917]
  • bottom-up and top-down semi-symbolic representations. The library implements several highly optimised reduction...
  • LinAIG

  • Referenced in 6 articles [sw10316]
  • discrete state spaces. We propose an improved symbolic algorithm for the verification of linear hybrid ... large discrete state spaces (where an explicit representation of discrete states is difficult). Here both ... state space are represented by one symbolic representation called LinAIGs. LinAIGs represent (possibly non-convex...
  • PRISM

  • Referenced in 39 articles [sw23359]
  • statistical modeling. We present an overview of symbolic-statistical modeling language PRISM whose programs ... knowledge representation language appropriate for probabilistic reasoning, it can describe various types of symbolic-statistical...
  • GeometricAlgebra

  • Referenced in 5 articles [sw25725]
  • Algebraic operations in orthonormal frame (additive representation, symbolic coefficients); Switching between multiple algebras in same...
  • I2T

  • Referenced in 5 articles [sw36509]
  • visual knowledge representation, which provides a graphical representation serving as prior knowledge for representing diverse ... unified model of both categorical and symbolic representations of visual knowledge. The proposed I2T framework...
  • Tempo

  • Referenced in 5 articles [sw11778]
  • forward reachability analysis and uses a symbolic representation of clock constraints. It forms the core...
  • MTBDD

  • Referenced in 5 articles [sw12873]
  • bottom-up and top-down semi-symbolic representations. The library implements several highly optimised reduction...
  • VERIFAS

  • Referenced in 5 articles [sw33292]
  • performance is due to a novel symbolic representation approach and a family of specialized optimizations...
  • LFR-toolbox

  • Referenced in 28 articles [sw04756]
  • uncertainty blocks the reusability of generated LFT-representations and the user friendliness of manipulation ... with improved symbolical preprocessing lead generally to a faster generation of LFT-representations with significantly...
  • Sapo

  • Referenced in 4 articles [sw23566]
  • boxes, parallelotopes, or parallelotope bundles (symbolic representation of polytopes). Sets of parameters are represented with...