game-banner

Games help improve software security : CSFV motive is to investigate whether the non-experts will be able to play the formal verification games in a formal verification manner in a faster way and in the more cost effective way than conventional processes.

 

sanskritiinfosolpvtltd.wordpress.com/2013/12/11/games-hel...

Done