
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 ... 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 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...

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 statespace 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 statespace reduction. In this paper we discuss...

Rebeca
 Referenced in 8 articles
[sw09422]
 symmetry and partial order reduction techniques for reducing the state space. Simple messagedriven 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 onthefly exploration. Third ... implements onthefly 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]
 privacypreserving manner. ADSNARK improves significantly over stateoftheart 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 statespace 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 searchspace of the SAT solver, by providing learned ... regarding properties of hypercubes: the first conjecture states that any matching of any ddimensional ... Hamiltonian cycle; and the second states that given an edgeantipodal coloring of a hypercube ... analysis and show an exponential reduction in search space via the SAT+CAS combination relative...