linkedin twitter facebook email


VeriFast: Making Critical C and Java Programs Error-Free

Each day we put our trust in technology. We use it to browse the web, to make online purchases, to do online banking, to unlock and control our cars, to steer airplanes and even to monitor nuclear and chemical plants. We assume that that these applications are safe and secure, but programming errors can make them prone to cyber-attacks and can indirectly even cause injuries. 

In this demo, we present VeriFast: a static analysis tool to detect programming errors in C and Java programs. 


Copyright imec 2017