Anooj Chavda

According to our database, Anooj Chavda authored at least 1 paper in 2015.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2015

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

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

Proceedings of the FM 2015: Formal Methods, 2015