• Mcmt

  • Referenced in 18 articles [sw11911]
  • core of the system is a backward reachability procedure which symbolically computes pre-images...
  • 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...
  • DSSZ-MC

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

  • 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 high-level 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 symbolic-numerical-graphical...
  • 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 large-scale constrained...