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.9 required=5.0 tests=BAYES_00,XPRIO autolearn=ham autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 103376,2e4614c01319c145,start X-Google-Attributes: gid103376,public X-Google-ArrivalTime: 2001-01-31 09:11:00 PST Path: supernews.google.com!sn-xit-02!supernews.com!news.tele.dk!204.71.34.15!news-out.cwix.com!newsfeed.cwix.com!news-out.uswest.net!news.uswest.net.POSTED!not-for-mail From: "Terry Westley" Newsgroups: comp.lang.ada Subject: Polyspace Verifier X-Priority: 3 X-MSMail-Priority: Normal X-Newsreader: Microsoft Outlook Express 5.00.2314.1300 X-MimeOLE: Produced By Microsoft MimeOLE V5.00.2314.1300 Message-ID: Date: Wed, 31 Jan 2001 12:10:57 -0500 NNTP-Posting-Host: 137.100.53.198 X-Trace: news.uswest.net 980961059 137.100.53.198 (Wed, 31 Jan 2001 11:10:59 CST) NNTP-Posting-Date: Wed, 31 Jan 2001 11:10:59 CST Xref: supernews.google.com comp.lang.ada:4770 Date: 2001-01-31T12:10:57-05:00 List-Id: Does anyone wish to give a testimonial on the Polyspace Verifier? I'm interested in what you think of its value as a testing tool and whether its use was cost effective. -- Terry Westley Veridian Engineering twestley@buffalo.veridian.com