• MOFLON

  • Referenced in 9 articles [sw06922]
  • turn need tool support on the metalevel. However, there is a lack of tools offering...
  • AFRA

  • Referenced in 29 articles [sw02090]
  • AFRA: argumentation framework with recursive attacks. The issue...
  • Maude

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

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

  • Referenced in 158 articles [sw08360]
  • Edinburgh LCF. A mechanized logic of computation. From...
  • ITP

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

  • Referenced in 11 articles [sw09809]
  • A sufficient completeness reasoning tool for partial specifications...
  • GETFOL

  • Referenced in 10 articles [sw26307]
  • GETFOL Interactive Theorem Prover. GETFOL is an interactive...