
Mcmt
 Referenced in 18 articles
[sw11911]
 core of the system is a backward reachability procedure which symbolically computes preimages...

Stranger
 Referenced in 11 articles
[sw09152]
 applications. Stranger uses symbolic forward and backward reachability analyses to compute the possible values that...

Cubicle
 Referenced in 10 articles
[sw13778]
 systems. It implements a parallel symbolic backward reachability procedure using Satisfiabilty Modulo Theories. Experiments done...

DSSZMC
 Referenced in 6 articles
[sw01360]
 model checking by limited backward reachability analysis. The tool is available for Windows, Linux...

CSHORe
 Referenced in 5 articles
[sw13319]
 from an approximate forward reachability analysis to guide its backward search. Moreover, we introduce...

HyStar
 Referenced in 0 articles
[sw24785]
 which employs the predecessor operator and backward reachability analysis. The second stage is to design...

SPeeDI
 Referenced in 7 articles
[sw00896]
 states which are equivalent with respect to reachability. This is the case for classes ... implemented computational procedures resort to (forward or backward) propagation of constraints, typically (unions of convex ... given final set of states is reachable, they will terminate, otherwise they may fail...

Coq
 Referenced in 1739 articles
[sw00161]
 Coq is a formal proof management system. It...

Isabelle
 Referenced in 591 articles
[sw00454]
 Isabelle is a generic proof assistant. It allows...

LAPACK
 Referenced in 1579 articles
[sw00503]
 LAPACK is written in Fortran 90 and provides...

Maple
 Referenced in 4879 articles
[sw00545]
 The result of over 30 years of cutting...

Mathematica
 Referenced in 5658 articles
[sw00554]
 Almost any workflow involves computing results, and that...

Matlab
 Referenced in 11343 articles
[sw00558]
 MATLAB® is a highlevel language and interactive...

ODESSA
 Referenced in 28 articles
[sw00647]
 Algorithm 658_ ODESSA  An ordinary differential equation solver...

Scilab
 Referenced in 163 articles
[sw00834]
 Scilab includes hundreds of mathematical functions. It has...

SUNDIALS
 Referenced in 198 articles
[sw00927]
 SUNDIALS was implemented with the goal of providing...

SLICOT
 Referenced in 79 articles
[sw01095]
 The subroutine library SLICOT provides Fortran 77 implementations...

MACSYMA
 Referenced in 714 articles
[sw01209]
 Macsyma is a general purpose symbolicnumericalgraphical...

CASL
 Referenced in 170 articles
[sw02235]
 The specification language developed by CoFI is called...

SNOPT
 Referenced in 487 articles
[sw02300]
 SNOPT: An SQP algorithm for largescale constrained...