
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 partialorder 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 [Orderreduction of ROWmethods 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 onthefly 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 fourthorder 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 partialorder reduction. In particular, we define independence relations ... show the effectiveness of dynamic partialorder 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 partialorder reduction for model checking. We formalize stuttering equivalence...

Syco
 Referenced in 1 article
[sw21210]
 kernel includes stateoftheart partialorder 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 nonlinear 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 controlflow analysis (specifically, 0CFA) with a GPU. Ultimately, our program transformations, reductions ... from linearalgebra operations. Central to this reduction were “abstract” Church encodings, and encodings ... parallel, possibly using stale or even partiallyupdated data...

MUSCOP
 Referenced in 5 articles
[sw06143]
 control problems (OCPs) constrained by timeperiodic partial differential equations (PDEs). The proposed method features ... grid NewtonPicard 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 arraywide reductions. “Solvers” use these data structures to calculate terms ... NavierStokes solver that uses a secondorder Boussinesq model. This equation solver is fully...