comp.lang.ada
 help / color / mirror / Atom feed
From: "Terry Westley" <twestley@buffalo.veridian.com>
Subject: Polyspace Verifier
Date: Wed, 31 Jan 2001 12:10:57 -0500
Date: 2001-01-31T12:10:57-05:00	[thread overview]
Message-ID: <DGXd6.911$gC1.194519@news.uswest.net> (raw)

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






                 reply	other threads:[~2001-01-31 17:10 UTC|newest]

Thread overview: [no followups] expand[flat|nested]  mbox.gz  Atom feed
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox