• PRISM-games

  • 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 high-level 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 ML-like module system for the synchronous...
  • CUDA

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

  • Referenced in 40 articles [sw03303]
  • IF-2.0: A validation environment for component-based...
  • SPIN

  • Referenced in 563 articles [sw03455]
  • Spin is a popular open-source 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, general-purpose purely functional...
  • PETSc

  • Referenced in 681 articles [sw04012]
  • The Portable, Extensible Toolkit for Scientific Computation (PETSc...
  • UCI-ml

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