Prashant Aggarwal

According to our database, Prashant Aggarwal authored at least 2 papers in 2011.

Collaborative distances:

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

2011

Planning for end-to-end formal using simulation-based coverage: <i>invited tutorial</i>.

Prashant Aggarwal, Darrow Chu, Vijay Kadamby, Vigyan Singhal

Proceedings of the International Conference on Formal Methods in Computer-Aided Design, 2011

Using Coverage to Deploy Formal Verification in a Simulation World.

Vigyan Singhal, Prashant Aggarwal

Proceedings of the Computer Aided Verification - 23rd International Conference, 2011