Darrow Chu

According to our database, Darrow Chu authored at least 1 paper 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