The company has done an extensive research in application security .
The company applying formal methods to real life software in collaboration with Turing Award winner Professor Amir Penueli .
The company has done an extensive research in application security and applying formal methods to real life software in collaboration with Turing Award winner Professor Amir Penueli .