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 |
---|---|---|---|---|---|
16.1 | index to tools and logics | RICKS::LEONARD | Tim Leonard, Formal Verification | Wed Nov 18 1992 20:41 | 85 |
16.2 | A database of provers | RICKS::LEONARD | Tim Leonard, Formal Verification | Mon Dec 07 1992 13:57 | 72 |