PolySpace?

From: Ryan Russell (ryan@securityfocus.com)
Date: 12/11/01 

Date: Mon, 10 Dec 2001 19:46:29 -0700 (MST)
From: Ryan Russell <ryan@securityfocus.com>
To: <secprog@securityfocus.com>

http://www.polyspace.com/

Now there are some ambitious claims. Anyone tried this?

                                        Ryan