Thread: Kaspersky Free Anti-Virus
View Single Post
Old 07-28-17, 04:33 AM   #8
ikalugin
Ocean Warrior
 
Join Date: Aug 2014
Location: Moscow, Russia
Posts: 3,212
Downloads: 8
Uploads: 0
Default
Kaspersky is also working on formally verifiable software (specifically an OS).
__________________
Grumpy as always.
ikalugin is offline   Reply With Quote