* Polyspace integration with AdaCore's GPS
@ 2012-02-28 9:31 Martin
0 siblings, 0 replies; only message in thread
From: Martin @ 2012-02-28 9:31 UTC (permalink / 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
^ permalink raw reply [flat|nested] only message in thread
only message in thread, other threads:[~2012-02-28 9:33 UTC | newest]
Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2012-02-28 9:31 Polyspace integration with AdaCore's GPS Martin
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox