• 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 ... develop ways of reducing the search space and avoiding infinite search paths. In order ... 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...
  • Manopt

  • Referenced in 97 articles [sw08493]
  • where the smooth geometry of the search space can be leveraged to design efficient numerical ... 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...
  • dse

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

  • Referenced in 7 articles [sw13409]
  • provide two reduction techniques that limit the state space explosion problem : automatic abstraction and refinement...
  • PSyHCoS

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

  • Referenced in 2 articles [sw03123]
  • employs several optimization techniques aimed at state-space reduction. In this paper we discuss...
  • Rebeca

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

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

  • Referenced in 4 articles [sw10581]
  • allows maximal progress reduction. Most importantly, SCOOP can output state spaces in the input format ... generate the state space, or just count the number of states and transitions when investigating ... effects of reduction techniques. A prCRL specification can also be exported to a PRISM specification...
  • Kuai

  • Referenced in 2 articles [sw34182]
  • order reduction techniques specific to the SDN domain that help reduce the state space dramatically ... partial order reduction techniques significantly reduces the state spaces of these benchmarks by many orders...
  • Exp.Open

  • Referenced in 10 articles [sw07702]
  • tools of Cadp, Exp.Open 2.0 allows state space generation and on-the-fly exploration. Third ... implements on-the-fly partial order reductions to avoid the generation of irrelevant interleavings...
  • ExplicitPRISMSymm

  • Referenced in 2 articles [sw13369]
  • ExplicitPRISMSymm: symmetry reduction technique for explicit models in PRISM. Probabilistic model checking of concurrent system ... reachable state space associated with the system model. Symmetry reduction is a commonly employed technique...
  • SimGridMC

  • Referenced in 1 article [sw23751]
  • copes with the state space explosion problem using Dynamic Partial Order Reduction and State Equality...
  • ADSNARK

  • Referenced in 8 articles [sw22496]
  • privacy-preserving manner. ADSNARK improves significantly over state-of-the-art solutions for this model ... computation time and a 20x reduction in prover storage space...
  • RARL2

  • Referenced in 3 articles [sw31514]
  • finite number of Fourier coefficients; a state-space realization; sampled values on the unit circle ... data). It can be used for model reduction, identification from frequency data, pole recovery...
  • MathCheck

  • Referenced in 11 articles [sw13642]
  • system can help cut down the search-space of the SAT solver, by providing learned ... regarding properties of hypercubes: the first conjecture states that any matching of any d-dimensional ... Hamiltonian cycle; and the second states that given an edge-antipodal coloring of a hypercube ... analysis and show an exponential reduction in search space via the SAT+CAS combination relative...