• DiFF-PK

  • Referenced in 1 article [sw27928]
  • current of electrons is calculated. A good agreement with the previously known limit cases ... electric current produced by neutrals injected into a plasma, and simulation of radial electric fields...
  • GAP

  • Referenced in 2707 articles [sw00320]
  • GAP is a system for computational discrete algebra...
  • Isabelle

  • Referenced in 601 articles [sw00454]
  • Isabelle is a generic proof assistant. It allows...
  • Magma

  • Referenced in 2720 articles [sw00540]
  • Computer algebra system (CAS). Magma is a large...
  • Mathematica

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

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

  • Referenced in 7694 articles [sw00771]
  • R is a language and environment for statistical...
  • S-PLUS

  • Referenced in 568 articles [sw02892]
  • S-PLUS is a powerful environment for statistical...
  • AVISPA

  • Referenced in 81 articles [sw03172]
  • AVISPA (Automated Validation of Internet Security Protocols and...
  • CASPA_

  • Referenced in 2 articles [sw04078]
  • The CASPA tool: Causality-based abstraction for security...
  • ProVerif

  • Referenced in 38 articles [sw06558]
  • ProVerif is an automatic cryptographic protocol verifier, in...
  • Casper

  • Referenced in 95 articles [sw06559]
  • A Compiler for the Analysis of Security Protocols...
  • OFMC

  • Referenced in 26 articles [sw09466]
  • The open-source fixed-point model checker for...
  • QRM

  • Referenced in 609 articles [sw11358]
  • R package QRM: Provides R-language Code to...
  • Cryptyc

  • Referenced in 3 articles [sw12834]
  • Cryptyc: cryptographic protocol type checker. The Cryptyc system...
  • bootstrap

  • Referenced in 986 articles [sw19105]
  • R package bootstrap. bootstrap: Functions for the Book...
  • GitHub

  • Referenced in 1270 articles [sw23170]
  • GitHub (originally known as Logical Awesome LLC)[3...
  • TAMARIN

  • Referenced in 12 articles [sw23438]
  • The TAMARIN prover for the symbolic analysis of...
  • F*

  • Referenced in 19 articles [sw27563]
  • F* (pronounced F star) is a general-purpose...