From: Martin <martin@thedowies.com>
Subject: Polyspace integration with AdaCore's GPS
Date: Tue, 28 Feb 2012 01:31:44 -0800 (PST)
Date: 2012-02-28T01:31:44-08:00 [thread overview]
Message-ID: <1d63929a-6fa8-4258-9955-422eb7223d4c@cj6g2000vbb.googlegroups.com> (raw)
The MathWorks have published a plug-in to GPS to support their
Polyspace Verification tool (http://www.mathworks.co.uk/products/
polyspace/?s_cid=HP_FP_PS_family).
This is based on my original work from back in 2005 and is now
available under a BSD license from the "Matlab Central File
Exchange" (http://www.mathworks.co.uk/matlabcentral/fileexchange/?
term=polyspace&sort=date_desc_updated).
It supports both Ada (83 & 95) and C++.
Enjoy!
-- Martin
reply other threads:[~2012-02-28 9:33 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