NIST Tool Finds Errors in Complex Safety-Critical Software

[unable to retrieve full-text content]http://feedproxy.google.com/~r/Securityweek/~3/RWGONLRndRg/nist-tool-finds-errors-complex-safety-critical-software