• Isabelle

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

  • Referenced in 71 articles [sw03018]
  • Logic programming with functions and predicates: The language...
  • Isar

  • Referenced in 144 articles [sw04599]
  • Theorem proving system supporting both interactive proof development...
  • CafeOBJ

  • Referenced in 171 articles [sw06232]
  • CafeOBJ as a tool for behavioral system verification...
  • Maude

  • Referenced in 698 articles [sw06233]
  • Maude is a high-performance reflective language and...
  • ITP

  • Referenced in 31 articles [sw09808]
  • The ITP tool is a theorem prover that...
  • TOY

  • Referenced in 56 articles [sw09812]
  • TOY: A Multiparadigm Declarative System. TOY is the...
  • PAKCS

  • Referenced in 28 articles [sw13688]
  • PAKCS is an implementation of the multi-paradigm...
  • CITP

  • Referenced in 7 articles [sw25269]
  • Constructor-based inductive theorem prover. Constructor-based theorem...