
MaudeNPA
 Referenced in 29 articles
[sw12159]
 State space reduction in the MaudeNRL protocol analyzer. The MaudeNRL 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 statespace 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 onthefly 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 socalled essential states reduction. We present several casestudies 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 finitestate 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 stateoftheart techniques for dimensionality reduction and intrinsic dimensionality estimation ... provides implementations of 27 techniques for dimensionality reduction, 6 techniques for intrinsic dimensionality estimation ... capabilities of stateoftheart techniques for dimensionality reduction...

Rebeca
 Referenced in 8 articles
[sw09422]
 symmetry and partial order reduction techniques for reducing the state space. Simple messagedriven object...

ValEncIAIVP
 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 statespace 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 stateoftheart 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...