Results 1 to 20 of 472
Sort by:

  • 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 symmetry-reduction 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, 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 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; build-in knowledge of finite groups...

  • Cummulants.jl
  • Referenced in 2 articles [sw39456]
  • paper takes advantage of super-symmetry 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 super-symmetry of cumulant and moment tensors. We show that ... algorithms. For the sizes of interest, the reduction is of the order of d! compared...