• # LAPACK

• Referenced in 1414 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 2125 articles [sw04082]
• solve linear programming (LP) and related problems. Specifically, it solves linearly or quadratically constrained optimization...
• # GAMS

• Referenced in 739 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 602 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...
• # Z

• Referenced in 256 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 329 articles [sw00610]
• many platforms and operating systems. For more specific product information, library content and availability click...
• # JML

• Referenced in 178 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...
• # UNITY

• Referenced in 164 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...
• # CESAR

• Referenced in 138 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...
• # LOTOS

• Referenced in 144 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...