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 |
---|---|---|---|---|---|
1.1 | Conference purpose | RICKS::LEONARD | Tim Leonard, Formal Alpha Verification | Fri Oct 30 1992 18:27 | 15 |
1.2 | Index to tools and logics in 16.1 | RICKS::LEONARD | Tim Leonard, Formal Alpha Verification | Tue Nov 17 1992 18:01 | 1 |
1.3 | Hardware engineer | NETRIX::"pan@ip118153.Eng.PKO.DEC.Com" | DEC | Fri Jul 19 1996 13:29 | 1 |