• PAT

  • Referenced in 29 articles [sw13258]
  • techniques are implemented in PAT, e.g. partial order reduction, symmetry reduction, process counter abstraction, parallel...
  • OFMC

  • Referenced in 26 articles [sw09466]
  • lazy intruder with ideas from partial-order reduction. Moreover, OFMC allows one to analyze security...
  • ROS3P

  • Referenced in 40 articles [sw00813]
  • methods suffer from order reduction when they are applied to partial differential equations, additional order ... construct new methods. G. Steinebach [Order-reduction of ROW-methods for DAEs and method...
  • LTSmin

  • Referenced in 14 articles [sw07214]
  • memory consumption of symbolic algorithms), partial order reduction and linear temporal logic...
  • Exp.Open

  • Referenced in 10 articles [sw07702]
  • Exp.Open 2.0 implements on-the-fly partial order reductions to avoid the generation of irrelevant...
  • Rebeca

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

  • Referenced in 89 articles [sw08012]
  • second- and fourth-order finite difference approximations to separable elliptic Partial Differential Equations (PDEs). These ... elliptic equations. The solvers use the cyclic reduction algorithm. When the problem is singular...
  • DPF

  • Referenced in 2 articles [sw12853]
  • storage and backtracking strategies, and dynamic partial-order reduction. In particular, we define independence relations ... show the effectiveness of dynamic partial-order reduction based on these relations.par We apply...
  • Boom

  • Referenced in 2 articles [sw01318]
  • implemented using BDDs and includes partial order reduction methods. Boom is intended for model checking...
  • SimGridMC

  • Referenced in 1 article [sw23751]
  • state space explosion problem using Dynamic Partial Order Reduction and State Equality algorithms. As case...
  • Stuttering Equivalence

  • Referenced in 1 article [sw28575]
  • certain verification techniques such as partial-order reduction for model checking. We formalize stuttering equivalence...
  • Syco

  • Referenced in 1 article [sw21210]
  • kernel includes state-of-the-art partial-order reduction techniques to avoid redundant computations during...
  • LCT

  • Referenced in 1 article [sw30240]
  • handle input values and dynamic partial order reduction (DPOR) combined with sleep sets to avoid...
  • Janet

  • Referenced in 31 articles [sw07776]
  • linearization for a non-linear system of partial differential equations can be computed. Some procedures ... entries in this Weyl algebra. Among the orderings for differential monomials which are available ... lexicographical one, the pure lexicographical one, block orderings and their extensions to the case ... orderings in the polynomial case. Four involutive criteria are implemented to avoid unnecessary reductions during...
  • pyMOR

  • Referenced in 10 articles [sw12978]
  • University of Münster for building model order reduction applications with the Python programming language ... application of reduced basis methods to parameterized partial differential equations. All algorithms in pyMOR...
  • BIGLIE

  • Referenced in 5 articles [sw09207]
  • algebra, of differential equations, ordinary or partial, single or simultaneous ... find special similarity solutions, conserved quantities, reductions of order etc. For example, you have seen...
  • IBCN

  • Referenced in 3 articles [sw03452]
  • partial ordering property for the system eigenvalues and presents an algorithm that performs full ordering ... many cases, results in a great reduction to the amount of computation, without any significant...
  • EigenCFA

  • Referenced in 3 articles [sw14136]
  • order control-flow analysis (specifically, 0CFA) with a GPU. Ultimately, our program transformations, reductions ... from linear-algebra operations. Central to this reduction were “abstract” Church encodings, and encodings ... parallel, possibly using stale or even partially-updated data...
  • MUSCOP

  • Referenced in 5 articles [sw06143]
  • control problems (OCPs) constrained by time-periodic partial differential equations (PDEs). The proposed method features ... grid Newton-Picard framework and yields a reduction of 68% in runtime for a nonlinear ... dynamic system solutions of first and second order, parallelization on the multiple shooting structure...
  • OpenCurrent

  • Referenced in 1 article [sw11883]
  • open source C++ library for solving Partial Differential Equations (PDEs) over regular grids using ... grid points, and performing array-wide reductions. “Solvers” use these data structures to calculate terms ... Navier-Stokes solver that uses a second-order Boussinesq model. This equation solver is fully...