
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 157 articles
[sw00060]
 ACL2 is both a programming language in which...

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

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

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

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

NetworkX
 Referenced in 26 articles
[sw00616]
 NetworkX (NX) is a Python package for the...

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

PRISM
 Referenced in 270 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 155 articles
[sw02159]
 GOLOG: A logic programming language for dynamic domains...

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

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

CUDA
 Referenced in 794 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 567 articles
[sw03455]
 Spin is a popular opensource software tool...

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

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

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