Sagar Vaghani

Publication Activity (10 Years)

Years Active: 2015-2015
Publications (10 Years): 0

Top Topics

Static Analysis

Linear Temporal Logic

False Positives

Bounded Model Checking

Top Venues

Publications

Bharti Chimdyalwar, Priyanka Darke, Anooj Chavda, Sagar Vaghani, Avriti Chauhan
Eliminating Static Analysis False Positives Using Loop Abstraction and Bounded Model Checking. FM (2015)