• Mathematica

  • Referenced in 5883 articles [sw00554]
  • Almost any workflow involves computing results, and that...
  • Matlab

  • Referenced in 12074 articles [sw00558]
  • MATLAB® is a high-level language and interactive...
  • MCGP

  • Referenced in 14 articles [sw00562]
  • We present MCGP -- a tool for generating and...
  • nauty

  • Referenced in 558 articles [sw00611]
  • graph-theoretic program NAUTY: nauty is a program...
  • R

  • Referenced in 8359 articles [sw00771]
  • R is a language and environment for statistical...
  • PRISM

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

  • Referenced in 262 articles [sw01225]
  • Programming Perl. Perl is a language for easily...
  • Kronos

  • Referenced in 261 articles [sw01270]
  • KRONOS is a tool developed with the aim...
  • jMoped

  • Referenced in 10 articles [sw01486]
  • jMoped: A Java bytecode checker based on Moped...
  • MoDeST

  • Referenced in 30 articles [sw01544]
  • MoDeST --- a modelling and description language for stochastic...
  • Design/CPN

  • Referenced in 37 articles [sw01952]
  • Modeling and verification of cryptographic protocols using coloured...
  • HySAT

  • Referenced in 24 articles [sw01980]
  • HySAT: An efficient proof engine for bounded model...
  • SPADE

  • Referenced in 87 articles [sw02226]
  • In this paper we present SPADE, a new...
  • CUDA

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

  • Referenced in 42 articles [sw03280]
  • The tool TINA -- construction of abstract state spaces...
  • Haskell

  • Referenced in 844 articles [sw03521]
  • Haskell is a standardized, general-purpose purely functional...