• HYBRID

  • Referenced in 19 articles [sw00421]
  • Hybrid: a package for higher-order syntax in...
  • ILTP

  • Referenced in 29 articles [sw00437]
  • The Intuitionistic Logic Theorem Proving (ILTP) library provides...
  • Isabelle

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

  • Referenced in 32 articles [sw00663]
  • Semantic definitions of full-scale programming languages are...
  • SETHEO

  • Referenced in 122 articles [sw00707]
  • SETHEO: A high-performance theorem prover. The paper...
  • QEPCAD

  • Referenced in 285 articles [sw00752]
  • QEPCAD B: A program for computing with semi...
  • ML

  • Referenced in 524 articles [sw01218]
  • ML (’Meta Language’) is a general-purpose functional...
  • EnKF

  • Referenced in 441 articles [sw02066]
  • EnKF-The Ensemble Kalman Filter The EnKF is...
  • CASL

  • Referenced in 174 articles [sw02235]
  • The specification language developed by CoFI is called...
  • OTTER

  • Referenced in 320 articles [sw02904]
  • Our current automated deduction system Otter is designed...
  • VAMPIRE

  • Referenced in 264 articles [sw02918]
  • Vampire 8.0, [RV02,Vor05] is an automatic theorem...
  • SQEMA

  • Referenced in 40 articles [sw03056]
  • Algorithmic correspondence and completeness in modal logic. IV...
  • PVS

  • Referenced in 634 articles [sw03484]
  • PVS is a verification system: that is, a...
  • Haskell

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

  • Referenced in 185 articles [sw04108]
  • SPASS is an automated theorem prover for first...
  • PHAVer

  • Referenced in 118 articles [sw04123]
  • In 1995, HyTech broke new ground as a...
  • HyTech

  • Referenced in 333 articles [sw04125]
  • HyTech is an automatic tool for the analysis...
  • TPTP

  • Referenced in 401 articles [sw04143]
  • The TPTP (Thousands of Problems for Theorem Provers...
  • Darwin

  • Referenced in 26 articles [sw04175]
  • Darwin is an automated theorem prover for first...