Eliminating Static Analysis False Positives Using Loop Abstraction and Bounded Model Checking.

Bharti Chimdyalwar, Priyanka Darke, Anooj Chavda, Sagar Vaghani, Avriti Chauhan

Browse the full FM paper archive.