I'm looking for tool support for static checking of Les Hatton's Safer C subset, the one vendor I'd found (Oakwood) no longer supports it so is anyone aware of any other vendors out there?
Regards,
-- *Matthew Squair* MIEAust CPEng Mob: +61 488770655 Email: MattSquair_at_xxxxxx Website: www.criticaluncertainties.com <http://criticaluncertainties.com/>Received on Tue Sep 03 2013 - 09:34:31 CEST
_______________________________________________ The System Safety Mailing List systemsafety_at_xxxxxx
This archive was generated by hypermail 2.3.0 : Sat Feb 23 2019 - 01:17:06 CET