• VerICS

  • Referenced in 35 articles [sw02011]
  • Verics (VerICS) is our original tool for automated...
  • BeepBeep

  • Referenced in 2 articles [sw02026]
  • Browser-based enforcement of interface contracts in web...
  • GOLOG

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

  • Referenced in 19 articles [sw02244]
  • TAPS: A first-order verifier for cryptographic protocols...
  • LUPS

  • Referenced in 37 articles [sw02579]
  • LUPS -- a language for updating logic programs. Most...
  • MCMAS-X

  • Referenced in 3 articles [sw02864]
  • Verification of the TESLA protocol in MCMAS-X...
  • SQEMA

  • Referenced in 39 articles [sw03056]
  • Algorithmic correspondence and completeness in modal logic. IV...
  • KARO

  • Referenced in 22 articles [sw03116]
  • Formalizing potential of agents. The KARO framework revisited...
  • AVISPA

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

  • Referenced in 723 articles [sw03455]
  • Spin is a popular open-source software tool...
  • Haskell

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

  • Referenced in 309 articles [sw04131]
  • NuSMV is a symbolic model checker developed as...
  • CUDD

  • Referenced in 158 articles [sw04446]
  • The CUDD package provides functions to manipulate Binary...
  • SLMC

  • Referenced in 74 articles [sw04604]
  • SLMC: A tool for model checking concurrent systems...
  • Gringo

  • Referenced in 108 articles [sw04630]
  • This document provides an introduction to the Answer...
  • HOL

  • Referenced in 583 articles [sw05492]
  • Higher Order Logic (HOL) is a programming environment...
  • Casper

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

  • Referenced in 55 articles [sw06568]
  • MetateM: An introduction. A methodology for the use...
  • Nuprl

  • Referenced in 394 articles [sw06751]
  • The Nuprl system is a framework for reasoning...
  • ProbLog

  • Referenced in 99 articles [sw06945]
  • ProbLog is a probabilistic logic programming language based...