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

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

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

Maude
 Referenced in 656 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...

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

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

Z
 Referenced in 270 articles
[sw10291]
 Using Z. Specification, refinement, and proof. The book is an indepth 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...

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

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

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

UNITY
 Referenced in 162 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 UNITYbased ... 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...

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

LOTOS
 Referenced in 150 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...

Bandera
 Referenced in 150 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 modelchecking tools (including Spin...

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

CESAR
 Referenced in 114 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...

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

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

OBJ3
 Referenced in 121 articles
[sw05370]
 OBJ3 is a program specification and proof system based on order sorted equational logic ... research and teaching in software design and specification, rapid prototyping, theorem proving, user interface design...

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