Pages

Wednesday, 8 March 2017

Q&A: Formal Methods Push Toward Zero-Defect Software

Technology Editor Bill Wong talks with AdaCore’s Yannick Moy about what formal verification of software brings to develop zero-defect software.

read more


http://ift.tt/2mllYhT

No comments:

Post a Comment