Tuesday, 8 August 2017

[Formal Verification] Hacker-Proof Code Confirmed

A very nice article about application of formal verification. A bit more optimistic about the future of formal specification and verification. Find the article here.


Posted by at
Labels:

No comments :

Post a Comment

Subscribe to: Post Comments ( Atom )