Topic #  Replies  Author  Written  Subject


1.0  3  EAGLE1::LEONARD  Wed Dec 30 1987  Purpose 
2.0  1  DEC::LEONARD  Wed Dec 30 1987  What are formal methods? 
3.0  6  DEC::LEONARD  Wed Dec 30 1987  Bibliography 
4.0  26  DEC::LEONARD  Wed Dec 30 1987  Participants 
6.0  2  PBSVAX::COOPER  Tue Jan 26 1988  Why use formal methods? 
7.0+  74  DEC::LEONARD  Mon Mar 28 1988  Workshops, seminars, conferences 
8.0  2  STKHLM::MPERSSON  Tue Apr 19 1988  When is a method "formal"? 
9.0  1  HPSRAD::HARTER  Fri May 20 1988  Projects at DEC 
12.0  1  FORTY2::WATKINS  Tue Oct 25 1988  UK News 
13.0   CIRCUS::HORNING  Thu Nov 03 1988  Miracles 
14.0  14  RICKS::LEONARD  Fri Oct 30 1992  Mailing lists and notes conferences 
15.0  5  RICKS::LEONARD  Fri Oct 30 1992  Formal verification of Alpha AXP 
16.0  2  RICKS::LEONARD  Fri Oct 30 1992  Tools for formal methods 
18.0   RICKS::LEONARD  Tue Nov 17 1992  The 2OBJ theorem prover 
19.0   RICKS::LEONARD  Tue Nov 17 1992  The Beologic theorem prover 
20.0   RICKS::LEONARD  Tue Nov 17 1992  The Clio theorem prover 
21.0   RICKS::LEONARD  Tue Nov 17 1992  The Coq theorem prover 
22.0   RICKS::LEONARD  Tue Nov 17 1992  The Elf theorem prover 
23.0   RICKS::LEONARD  Tue Nov 17 1992  The FDR theorem prover 
24.0  3  RICKS::LEONARD  Tue Nov 17 1992  The HOL88 theorem prover 
25.0  8  RICKS::LEONARD  Tue Nov 17 1992  The HOL9 
26.0  1  RICKS::LEONARD  Tue Nov 17 1992  The IMPS theorem prover 
27.0  4  RICKS::LEONARD  Tue Nov 17 1992  The LP theorem prover 
28.0  1  RICKS::LEONARD  Tue Nov 17 1992  The Lprolog theorem prover 
29.0  1  RICKS::LEONARD  Tue Nov 17 1992  The Mural theorem prover 
30.0   RICKS::LEONARD  Tue Nov 17 1992  The Nuprl theorem prover 
31.0  1  RICKS::LEONARD  Tue Nov 17 1992  The nqthm (BoyerMoore) theorem prover 
32.0   RICKS::LEONARD  Tue Nov 17 1992  The Nuprl theorem prover 
33.0   RICKS::LEONARD  Tue Nov 17 1992  The Paris theorem prover 
34.0  5  RICKS::LEONARD  Tue Nov 17 1992  The ProofPower theorem prover 
35.0  2  RICKS::LEONARD  Tue Nov 17 1992  The PVS theorem prover 
36.0  1  RICKS::LEONARD  Tue Nov 17 1992  The Reveal theorem prover 
37.0  1  UnknownUser  Tue Nov 17 1992  The SMV theorem prover 
38.0   RICKS::LEONARD  Tue Nov 17 1992  The Spectrum specification language 
39.0   RICKS::LEONARD  Tue Nov 17 1992  The TLA logic 
40.0   RICKS::LEONARD  Tue Nov 17 1992  The uUTRL theorem prover 
41.0   RICKS::LEONARD  Tue Nov 17 1992  The Esterel language 
42.0  1  RICKS::LEONARD  Tue Nov 17 1992  The Lambda CAD tool 
43.0   RICKS::LEONARD  Wed Nov 18 1992  The ITP theorem prover 
44.0  1  MOVIES::HANCOCK  Tue Nov 24 1992  Real examples 
45.0   RICKS::LEONARD  Wed Dec 23 1992  Formal verification work at ISV 
46.0   RICKS::LEONARD  Tue Apr 27 1993  The SETHEO theorem prover 
47.0  2  MOVIES::HANCOCK  Thu Aug 26 1993  report available 
48.0   RICKS::LEONARD  Tue Feb 08 1994  ConstraintHandling Rules 
49.0   STAR::PRAETORIUS  Wed Jun 29 1994  Knowledge based software process automation at Kestrel 
50.0   NETRIX::"pan@ip118153.Eng.PKO.DEC.Com"  Fri Jul 19 1996  Hardware Engineer 