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

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

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

Maple
 Referenced in 4185 articles
[sw00545]
 The result of over 30 years of cutting...

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

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

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

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

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

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

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

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

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

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

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

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

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

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