
PAT
 Referenced in 37 articles
[sw13258]
 implemented in PAT, e.g. partial order reduction, symmetry reduction, process counter abstraction, parallel model checking...

dSPIN
 Referenced in 31 articles
[sw09888]
 standard SPIN’s state space exploration and reduction algorithms: memory references (pointers); dynamic memory allocation/deletion ... code references (function pointers); garbage collection; symmetry reductions. The design of dSPIN is driven...

SymmSpin
 Referenced in 21 articles
[sw07517]
 detailed description of SymmSpin, a symmetryreduction package for Spin. It offers four strategies...

TopSpin
 Referenced in 13 articles
[sw00972]
 Automatic Symmetry Reduction for the SPIN Model Checker. TopSPIN is an automatic symmetry reduction tool ... automatically determine a group of component symmetries associated with the specification. The tool automatically modifies...

LoLA
 Referenced in 26 articles
[sw04381]
 supported. For state space reduction, LoLA features symmetries, stubborn sets, and coverability graphs...

LiteRed
 Referenced in 77 articles
[sw16341]
 heuristic search of the symbolic IBP reduction rules for loop integrals. It implements also several ... convenient tools for the search of the symmetry relations, construction of the differential equations...

SADE
 Referenced in 20 articles
[sw07076]
 nonclassical, Lie–Bäcklund and potential symmetries, invariant solutions, firstintegrals, Nöther theorem for both discrete ... differential equations, order and dimension reductions using Lie symmetries, classification of differential equations, Casimir invariants...

SpintoGrape
 Referenced in 6 articles
[sw07515]
 Finally we discuss ways in which symmetry reduction techniques incorporated within Spin, e.g., the SymmSpin...

GLie
 Referenced in 6 articles
[sw00356]
 step would be the use of symmetry reduction method to get a simpler system which...

LieSYMGRP
 Referenced in 3 articles
[sw13621]
 Approximate symmetries and infinite series symmetry reduction solutions to perturbed KuramotoSivashinsky equation. Starting from ... KuramotoSivashinsky (KS) equation. The approximate symmetry reduction and the infinite series symmetry reduction solutions...

ExplicitPRISMSymm
 Referenced in 2 articles
[sw13369]
 ExplicitPRISMSymm: symmetry reduction technique for explicit models in PRISM. Probabilistic model checking of concurrent system ... space associated with the system model. Symmetry reduction is a commonly employed technique that enables ... exponentially large models. Most work on symmetry reduction focuses on symbolically represented probabilistic models, which ... present an onthefly symmetry reduction technique for explicitly represented models. It significantly reduces...

reduce
 Referenced in 2 articles
[sw31512]
 software implementation of adaptive prefixassignment symmetry reduction; cf. T. Junttila, M. Karppa, P. Kaski ... adaptive prefixassignment technique for symmetry reduction”. This experimental software is supplied to accompany...

Rebeca
 Referenced in 9 articles
[sw09422]
 introduce compositional verification, abstraction, symmetry and partial order reduction techniques for reducing the state space...

Shatter
 Referenced in 6 articles
[sw21225]
 satisfiability of the CNF formula. For symmetry breaking to be effective in practice, the computational ... smaller SBPs and lead to run time reductions on many benchmarks...

Indiff
 Referenced in 3 articles
[sw13399]
 over determined differential systems with Lie symmetry. The MAPLE package Indiff is now available. This ... functions designed to calculate reductions and compatibility conditions of systems of equations referred...

BIGLIE
 Referenced in 5 articles
[sw09207]
 find special similarity solutions, conserved quantities, reductions of order etc. For example, you have seen ... examples in Chapters 2 and 3 ) or ”Symmetries and Differential Equations” by G. W. Blumen...

symmetry
 Referenced in 3 articles
[sw14839]
 Symmetry package for maple. This is a Maple package which can be used ... invariants for torus group action; orbit space reduction; buildin knowledge of finite groups...

Cummulants.jl
 Referenced in 2 articles
[sw39456]
 paper takes advantage of supersymmetry of cumulant and moment tensors. We show that ... algorithms. For the sizes of interest, the reduction is of the order of d! compared...

Cumulants.jl
 Referenced in 1 article
[sw39201]
 paper takes advantage of supersymmetry of cumulant and moment tensors. We show that ... algorithms. For the sizes of interest, the reduction is of the order of d! compared...