| 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 |
|---|---|---|---|---|---|
| 4.3 | Topher Cooper | PBSVAX::COOPER | Topher Cooper | Wed Jan 06 1988 17:09 | 65 |
| 4.4 | Rich Brunner | EAGLE1::BRUNNER | VAX Architecture | Fri Jan 08 1988 13:38 | 11 |
| 4.5 | Barry Young | CHOVAX::YOUNG | Back from the Shadows Again, | Sun Jan 10 1988 15:10 | 20 |
| 4.6 | Gary Feldman | TOKLAS::FELDMAN | PDS, our next success | Mon Jan 11 1988 13:54 | 25 |
| 4.7 | Participants from SRC | CIRCUS::MA | Tue Jan 12 1988 16:56 | 36 | |
| 4.8 | Snehamay Kundu | HPSRAD::KUNDU | Fri Jan 15 1988 18:11 | 15 | |
| 4.9 | Morrie Gasser | BOMBE::GASSER | Morrie Gasser, Secure Systems Dev. | Wed Jan 20 1988 08:28 | 23 |
| 4.10 | Ray Modeen | ULTRA::MODEEN | Mon Jan 25 1988 14:45 | 7 | |
| 4.11 | David Wittenberg | ULTRA::WITTENBERG | The rug is not an inertial frame. | Mon Jan 25 1988 18:10 | 31 |
| 4.12 | Jim Scott | BOLT::SCOTT | Tue Jan 26 1988 12:29 | 25 | |
| 4.13 | Steph Bailey | BOLT::BAILEY | Steph Bailey | Tue Jan 26 1988 13:38 | 7 |
| 4.14 | Angus McDonald | SUBURB::MCDONALDA | Expand Three Letter Abbr (TLA) | Tue Feb 09 1988 10:19 | 13 |
| 4.15 | Jim Horning | CIRCUS::HORNING | Tue Feb 09 1988 16:07 | 52 | |
| 4.16 | Mark Paraskeva | JANUS::PARASKEVA | Mark | Tue Mar 15 1988 06:11 | 18 |
| 4.17 | Magnus Persson | STKHLM::MPERSSON | Mon Apr 18 1988 09:48 | 22 | |
| 4.18 | Rich Best | EAGLE1::BEST | R D Best, sys arch, I/O | Thu Apr 28 1988 17:41 | 74 |
| 4.19 | Paul K. Harter, Jr. | HPSRAD::HARTER | Fri May 20 1988 10:58 | 34 | |
| 4.21 | Bob Lee | HYEND::RLEE | Bob_Lee | Mon Sep 19 1988 15:35 | 19 |
| 4.22 | Marc Watkins | FORTY2::WATKINS | Get Down Shep!!! | Tue Oct 25 1988 12:40 | 11 |
| 4.23 | Rik Palo | LEROUF::PALO | Hver andskotinn! | Wed Nov 09 1988 03:53 | 36 |
| 4.24 | Hemendra Talesara | HPSRAD::TALESARA | Mon Nov 14 1988 16:57 | 38 | |
| 4.25 | Topher Cooper -- update. | CADSYS::COOPER | Topher Cooper | Wed Nov 04 1992 10:06 | 7 |
| 4.26 | Mike Renda | TARKIN::RENDA | Thu Nov 12 1992 16:12 | 22 | |
| 4.27 | Tim Leonard | RICKS::LEONARD | Tim Leonard, Formal Verification | Wed Nov 18 1992 09:39 | 9 |
| 4.28 | Peter Bell | AUSSIE::BELL | Charitas Patiens est | Thu Jun 17 1993 01:11 | 11 |
| 4.29 | Philippe TISSERAND | PRSSOS::TISSERAND_P | Philippe TISSERAND, Digital Equipment France | Thu Sep 01 1994 05:42 | 16 |