### Table 4. Results of theorem proving on testbed systems

1999

"... In PAGE 42: ...4 Theorem Proving Results Overall, 21 strategies were developed to assist in the analysis of ASTRAL specifications. Table4 shows the results of using PVS and the developed strategies to prove the proof obligations of the testbed systems. The results of the theorem prover proofs and earlier proofs by hand are the basis for a systematic analysis methodology described in [Kol 99b] in which tool-supported guidance is given for constructing proof sketches by hand, which are then carried out in a similar fashion within PVS.... ..."

Cited by 3

### Table 1: Summary of the theorems being proved in this paper.

### Table I. Structures for 160 Geometry Theorems

2000

Cited by 6