• TINA

  • Referenced in 40 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 26 articles [sw09466]
  • lazy intruder, which is a symbolic representation of the intruder, and constraint differentiation, which...
  • FOXBOX

  • Referenced in 15 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...
  • VeriFast

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

  • Referenced in 276 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...
  • 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...
  • Synthia

  • Referenced in 7 articles [sw12933]
  • with difference bound matrices for a symbolic representation of both the discrete control-related...
  • 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...
  • 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...
  • PRISM

  • Referenced in 29 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...
  • S3

  • Referenced in 4 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...
  • LoAT

  • Referenced in 3 articles [sw23213]
  • programs. To this end, we construct symbolic representations of program executions using a framework...
  • Vivid

  • Referenced in 3 articles [sw01316]
  • heterogeneous reasoning that combines diagrammatic and symbolic representation and inference. The framework is presented...
  • FODD-Planner

  • Referenced in 14 articles [sw07747]
  • propositional stochastic planning problems by using compact representations, in particular algebraic decision diagrams, to capture ... symbolic dynamic programming lifted these ideas to first order logic using several representation schemes. Recent...
  • APMC

  • Referenced in 25 articles [sw11483]
  • Approximate probabilistic model checking. Symbolic model checking methods have been extended recently to the verification ... probabilistic systems. However, the representation of the transition matrix may be expensive for very large...
  • LFR-toolbox

  • Referenced in 18 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...
  • FermiFab

  • Referenced in 4 articles [sw06055]
  • mainly concerned with the representation of (symbolic) fermionic wavefunctions and the calculation of corresponding reduced...
  • GeometricAlgebra

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