From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me X-Spam-Level: X-Spam-Status: No, score=-1.3 required=5.0 tests=BAYES_00,INVALID_MSGID autolearn=no autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 103376,86fd56abf3579c34 X-Google-Attributes: gid103376,public X-Google-Thread: 10db24,77f71d0bde4c5bb4 X-Google-Attributes: gid10db24,public From: l107353@cliffy.lfwc.lockheed.com (Garlington KE) Subject: Re: Problems with proofs Date: 1995/04/20 Message-ID: <3n68kl$i2k@butch.lmsc.lockheed.com>#1/1 X-Deja-AN: 101283292 references: <3kaksj$iur@isnews.calpoly.edu> <3n1fsv$lgd@butch.lmsc.lockheed.com> followup-to: comp.lang.ada,comp.edu organization: Lockheed Missiles and Space Co. newsgroups: comp.lang.ada,comp.edu Date: 1995-04-20T00:00:00+00:00 List-Id: Robin Rowe (cpp@netcom.com) wrote: : To: l107353@cliffy.lfwc.lockheed.com (Garlington KE) : Sb: Re: Problems with proofs : Ken, : << Some of them [proofs] do [take into account combinatorial : possibilities] - for example, Dr. Levison's state tables for the : A-10 flight controls did, as I recall. >> : Very interesting, where can I find out more? It seems like I remember a paper in the IEEE transactions on software engineering, but I'm not sure. I think I have Dr. Levison's E-mail address at home, or you can get it from one of the issues of RIsks Digest that came out recently. : Robin : -- : ----- : Robin Rowe cpp@netcom.com 408-626-6646 Carmel, CA : Rowe Technology C++ Design/Training Email for sample C++ Newsletter! -- -------------------------------------------------------------------- Ken Garlington GarlingtonKE@lfwc.lockheed.com F-22 Computer Resources Lockheed Fort Worth Co. If LFWC or the F-22 program has any opinions, they aren't telling me.