• Tecton

  • Referenced in 9 articles [sw28905]
  • overview of the Tecton proof system. The Tecton proof system is an experimental tool...
  • RDL

  • Referenced in 4 articles [sw26677]
  • verification systems, such as ACL2, STEP, Tecton, and Simplify. On the other hand, obtaining ... Thirdly, only a tiny portion of the proof obligations arising in many practical verification efforts...
  • LARCH

  • Referenced in 104 articles [sw02126]
  • The Larch family of languages supports a two...
  • PVS

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

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

  • Referenced in 151 articles [sw07543]
  • A computational logic handbook. This book is a...
  • LEGO

  • Referenced in 108 articles [sw09685]
  • LEGO is an interactive proof development system (proof...
  • RRL

  • Referenced in 55 articles [sw28904]
  • An overview of Rewrite Rule Laboratory (RRL). RRL...
  • AFFIRM

  • Referenced in 6 articles [sw28906]
  • The AFFIRM theorem prover: proof forests and management...