
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...

Cambridge LCF
 Referenced in 27 articles
[sw31981]
 Logic and computation. Interactive proof with Cambridge LCF...