Title: | Formal Specification and Verification |
Moderator: | RICKS::LEONARD |
Created: | Wed Dec 30 1987 |
Last Modified: | Wed May 14 1997 |
Last Successful Update: | Fri Jun 06 1997 |
Number of topics: | 50 |
Total number of notes: | 214 |
T.R | Title | User | Personal Name | Date | Lines |
---|---|---|---|---|---|
24.1 | The Faust theorem prover | RICKS::LEONARD | Tim Leonard, Formal Alpha Verification | Tue Nov 17 1992 16:45 | 37 |
24.2 | HOL88 version 2.01 | RICKS::LEONARD | Tim Leonard, Formal Verification | Mon Dec 07 1992 18:42 | 185 |
24.3 | The HOL88 "contrib" directory | RICKS::LEONARD | Tim Leonard, Formal Verification | Mon Dec 07 1992 18:50 | 186 |