When security concerns meet safety concerns, Formal Methods become increasingly attractive

Security issues can no longer be ignored when ensuring the safety of automotive applications. Formal Methods based on deductive verification (proofs) are not yet used widely in industry, with some notable exceptions. This article from AdaCore outlines how to use the “Formal Methods” for verifying safety and security critical software.

Read More

2015-10-14T06:32:42+00:0014th October, 2015|Blog, Thought Leadership|