Model-Checking for Software Vulnerabilities Detection with Multi-Language Support.

Rachid Hadjidj, Xiaochun Yang, Syrine Tlili, Mourad Debbabi

Browse the full PST paper archive.