• Maude-NPA

  • Referenced in 29 articles [sw12159]
  • State space reduction in the Maude-NRL protocol analyzer. The Maude-NRL Protocol Analyzer (Maude ... searching backwards from an insecure attack state, and assumes an unbounded number of sessions. Because ... this paper we describe some state space reduction techniques that we have implemented in Maude...
  • LoLA

  • Referenced in 26 articles [sw04381]
  • oriented system execution are supported. For state space reduction, LoLA features symmetries, stubborn sets...
  • SymmSpin

  • Referenced in 21 articles [sw07517]
  • Spin. It offers four strategies for state-space reduction, based on the heuristic that...
  • dSPIN

  • Referenced in 31 articles [sw09888]
  • standard SPIN’s state space exploration and reduction algorithms: memory references (pointers); dynamic memory allocation/deletion...
  • CAESAR_SOLVE

  • Referenced in 14 articles [sw10194]
  • without constructing explicitly the state space of the system under analysis) by using a demand ... calculus, and on-the-fly reduction of state spaces based on τ-confluence...
  • Rapture

  • Referenced in 7 articles [sw13409]
  • provide two reduction techniques that limit the state space explosion problem : automatic abstraction and refinement ... algorithms, and a so-called essential states reduction. We present several case-studies to illustrate...
  • Manopt

  • Referenced in 105 articles [sw08493]
  • registration, independent component analysis, metric learning, dimensionality reduction and so on. The Manopt toolbox, available ... software dedicated to simplify experimenting with state of the art Riemannian optimization algorithms...
  • POMDPS

  • Referenced in 37 articles [sw03055]
  • error bound reduction, lower bound improvement). Our experimental results indicate that state...
  • Esterel

  • Referenced in 163 articles [sw20012]
  • compiler which translates Esterel programs into finite-state machines. It is one of a family ... based verification tools that perform either bisimulation reduction or safety property checking. Esterel...
  • SMCSolver

  • Referenced in 16 articles [sw15194]
  • steady state probability vector. It includes implementations of the following contemporary algorithms: Cyclic Reduction ... IS.m), Logarithmic Reduction (QBD_LR.m), Newton Iterations (QBD_NI.m), etc. The steady state vector...
  • PHAT

  • Referenced in 34 articles [sw08780]
  • state of the art implementations. A major aspect of PHAT is to decouple the reduction...
  • dr

  • Referenced in 6 articles [sw11746]
  • virtually all state-of-the-art techniques for dimensionality reduction and intrinsic dimensionality estimation ... provides implementations of 27 techniques for dimensionality reduction, 6 techniques for intrinsic dimensionality estimation ... capabilities of state-of-the-art techniques for dimensionality reduction...
  • Rebeca

  • Referenced in 8 articles [sw09422]
  • symmetry and partial order reduction techniques for reducing the state space. Simple message-driven object...
  • ValEncIA-IVP

  • Referenced in 29 articles [sw04846]
  • results. Parallelepiped and QR preconditioning of the state equations, Taylor model arith- metic, as well ... routines are a few existing approaches for reduction of overestimation. In this paper, the recently...
  • dse

  • Referenced in 4 articles [sw24866]
  • state space model, and state-space model reduction techniques are implemented. An introduction and User...
  • DDebugger

  • Referenced in 15 articles [sw09904]
  • between states and can be nondeterministic. We propose here a calculus to infer reductions, sort...
  • BKZ

  • Referenced in 62 articles [sw10242]
  • Better lattice security estimates. The best lattice reduction algorithm known in practice for high dimension ... extensive experiments with BKZ 2.0, the first state-of-the-art implementation of BKZ incorporating...
  • SCOOP

  • Referenced in 4 articles [sw10581]
  • allows maximal progress reduction. Most importantly, SCOOP can output state spaces in the input format ... number of states and transitions when investigating the effects of reduction techniques. A prCRL specification...
  • LTSmin

  • Referenced in 18 articles [sw07214]
  • local transition caching (which speeds up slow state space generators), matrix regrouping (which can drastically ... memory consumption of symbolic algorithms), partial order reduction and linear temporal logic...
  • PSyHCoS

  • Referenced in 2 articles [sw30319]
  • model checking, as well as state space reduction techniques. Its architecture favors reusability in terms...