• PRISM-games

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

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

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

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