comp.lang.ada
 help / color / mirror / Atom feed
* Polyspace Verifier
@ 2001-01-31 17:10 Terry Westley
  0 siblings, 0 replies; only message in thread
From: Terry Westley @ 2001-01-31 17:10 UTC (permalink / 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






^ permalink raw reply	[flat|nested] only message in thread

only message in thread, other threads:[~2001-01-31 17:10 UTC | newest]

Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2001-01-31 17:10 Polyspace Verifier Terry Westley

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