• LAPACK

  • Referenced in 1222 articles [sw00503]
  • Level 3 BLAS — a set of specifications for Fortran subprograms that do various types ... provided by the manufacturer. Highly efficient machine-specific implementations of the BLAS are available ... will not perform as well as a specifically tuned implementation...
  • CPLEX

  • Referenced in 1775 articles [sw04082]
  • solve linear programming (LP) and related problems. Specifically, it solves linearly or quadratically constrained optimization...
  • Macaulay2

  • Referenced in 1014 articles [sw00537]
  • installation of methods for computing specifically with them. Macaulay2 can compute Betti numbers, Ext, cohomology...
  • GAMS

  • Referenced in 641 articles [sw04978]
  • General Algebraic Modeling System (GAMS) is specifically designed for modeling linear, nonlinear and mixed integer ... time-consuming details of the specific machine and system software implementation. GAMS is especially useful...
  • Maude

  • Referenced in 495 articles [sw06233]
  • system supporting both equational and rewriting logic specification and programming for a wide range ... equational logic sublanguage. Besides supporting equational specification and programming, Maude also supports rewriting logic computation...
  • PVS

  • Referenced in 483 articles [sw03484]
  • verification system: that is, a specification language integrated with support tools and a theorem prover...
  • Z

  • Referenced in 203 articles [sw10291]
  • Using Z. Specification, refinement, and proof. The book is an in-depth introduction ... specification language $Z$. It is primarily directed to the user; the background theory is -- with ... adquate for promoting a discipline of formal specification and reasoning? Another disappointment is that...
  • NAG

  • Referenced in 285 articles [sw00610]
  • many platforms and operating systems. For more specific product information, library content and availability click...
  • PRISM

  • Referenced in 265 articles [sw01186]
  • performed through model checking such systems against specifications written in the probabilistic temporal logics PCTL...
  • UNITY

  • Referenced in 149 articles [sw13461]
  • UNITY. We evaluate UNITY -- a computational model, specification language and proof system defined by Chandy ... programs -- as a platform for simulation model specification and analysis. We describe a UNITY-based ... methodology starts with a simulation model specification in the form of a set of coupled ... prove them as theorems using the formal specification. The methodology is illustrated through generation...
  • JML

  • Referenced in 158 articles [sw04597]
  • Modeling Language (JML) is a behavioral interface specification language that can be used to specify ... approach of Eiffel and the model-based specification approach of the Larch family of interface ... specification languages, with some elements of the refinement calculus...
  • LANCELOT

  • Referenced in 247 articles [sw00500]
  • book is primarily concerned with a specific optimization package, the issues discussed have much wider...
  • LOTOS

  • Referenced in 136 articles [sw02961]
  • Introduction to the ISO specification language LOTOS. LOTOS is a specification language that has been ... specifically developed for the formal description of the OSI (Open Systems Interconnection) architecture, although...
  • ADIFOR

  • Referenced in 208 articles [sw02185]
  • source code and a user’s specification of dependent and independent variables, ADIFOR will generate...
  • CESAR

  • Referenced in 112 articles [sw08510]
  • Specification and verification of concurrent systems in CESAR. The aim of this paper ... with respect to a given set of specifications. The algorithmic description is done ... high level language inspired from CSP and specifications are a set of formulas ... evaluating each formula of the specifications...
  • HomCont

  • Referenced in 181 articles [sw14927]
  • AUTO written by Eusebius Doedel (Concordia University). Specifically, HomCont deals with continuation of codimension...
  • CASL

  • Referenced in 127 articles [sw02235]
  • specification language developed by CoFI is called Casl: the Common Algebraic Specification Language. Its main...
  • Bandera

  • Referenced in 125 articles [sw07663]
  • software requirement formalized in Bandera’s temporal specification language, and it generates a program model ... specification in the input language of one of several existing model-checking tools (including Spin...
  • Gmsh

  • Referenced in 171 articles [sw00366]
  • geometry, mesh, solver and post-processing. The specification of any input to these modules...
  • ode23

  • Referenced in 165 articles [sw06600]
  • vector T. To obtain solutions at the specific times t0, t1,...,tf (all increasing...