
PRISMgames
 Referenced in 8 articles
[sw12934]
 modelling, automated verification and strategy synthesis for probabilistic systems with competitive or cooperative behaviour. Models ... described in a probabilistic extension of the Reactive Modules language and properties are expressed using...

Sigali
 Referenced in 1 article
[sw12303]
 functionalities for verification of reactive systems and discrete controller synthesis. It is developed jointly...

ACL2
 Referenced in 155 articles
[sw00060]
 ACL2 is both a programming language in which...

Coq
 Referenced in 1157 articles
[sw00161]
 Coq is a formal proof management system. It...

LAPACK
 Referenced in 1222 articles
[sw00503]
 LAPACK is written in Fortran 90 and provides...

Mathematica
 Referenced in 4131 articles
[sw00554]
 Almost any workflow involves computing results, and that...

Matlab
 Referenced in 7103 articles
[sw00558]
 MATLAB® is a highlevel language and interactive...

R
 Referenced in 3288 articles
[sw00771]
 R is a language and environment for statistical...

PRISM
 Referenced in 265 articles
[sw01186]
 PRISM: Probabilistic symbolic model checker. In this paper...

ConGolog
 Referenced in 42 articles
[sw01801]
 ConGolog, a concurrent programming language based on the...

GOLOG
 Referenced in 154 articles
[sw02159]
 GOLOG: A logic programming language for dynamic domains...

ADIFOR
 Referenced in 208 articles
[sw02185]
 ADIFOR is a tool for the automatic differentiation...

SIGNAL
 Referenced in 44 articles
[sw02915]
 An MLlike module system for the synchronous...

CUDA
 Referenced in 693 articles
[sw03258]
 The NVIDIA® CUDA® Toolkit provides a comprehensive development...

IF2.0
 Referenced in 40 articles
[sw03303]
 IF2.0: A validation environment for componentbased...

SPIN
 Referenced in 563 articles
[sw03455]
 Spin is a popular opensource software tool...

PVS
 Referenced in 483 articles
[sw03484]
 PVS is a verification system: that is, a...

Haskell
 Referenced in 399 articles
[sw03521]
 Haskell is a standardized, generalpurpose purely functional...

PETSc
 Referenced in 681 articles
[sw04012]
 The Portable, Extensible Toolkit for Scientiﬁc Computation (PETSc...

UCIml
 Referenced in 2011 articles
[sw04074]
 UC Irvine Machine Learning Repository. We currently maintain...