• Korat

  • Referenced in 32 articles [sw07259]
  • boolean) from the method’s pre-condition. The heart of Korat is a technique...
  • CodeContracts

  • Referenced in 2 articles [sw30949]
  • contracts take the form of pre-conditions, post-conditions, and object invariants. Contracts...
  • RAISE

  • Referenced in 15 articles [sw03248]
  • The development of the RAISE tools. The use...
  • ITSOL

  • Referenced in 156 articles [sw04031]
  • ITSOL is a library of iterative solvers for...
  • SPARSKIT

  • Referenced in 226 articles [sw07692]
  • SPARSKIT: A basic toolkit for sparse matrix computations...
  • MA32

  • Referenced in 23 articles [sw13174]
  • MA32 --A package for solving sparse unsymmetric systems...
  • DYNA3D

  • Referenced in 106 articles [sw17036]
  • DYNA3D: A nonlinear, explicit, three-dimensional finite element...
  • ALGOL 60

  • Referenced in 663 articles [sw21807]
  • ALGOL 60 (short for Algorithmic Language 1960) is...