• PAT

  • Referenced in 32 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 symmetry-reduction package for Spin. It offers four strategies...
  • TopSpin

  • Referenced in 12 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 65 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 18 articles [sw07076]
  • nonclassical, Lie–Bäcklund and potential symmetries, invariant solutions, first-integrals, Nöther theorem for both discrete ... differential equations, order and dimension reductions using Lie symmetries, classification of differential equations, Casimir invariants...
  • Spin-to-Grape

  • 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 Kuramoto-Sivashinsky equation. Starting from ... Kuramoto-Sivashinsky (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 on-the-fly symmetry reduction technique for explicitly represented models. It significantly reduces...
  • reduce

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

  • Referenced in 8 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...
  • 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...
  • Indiff

  • Referenced in 2 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...
  • 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; build-in knowledge of finite groups...
  • POINCARe CODE

  • Referenced in 1 article [sw16802]
  • significant computer algebra normal form (and subsequent reduction) methods for handling nonlinear ordinary differential equations ... joint-normal-form programs involving Lie-point symmetries are of special interest and are published...
  • BEMLIB

  • Referenced in 100 articles [sw00005]
  • BEMLIB is a boundary-element software library of...