Dan Carmi

According to our database, Dan Carmi authored at least 1 paper in 2010.

Collaborative distances:

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

2010

SAT-based semiformal verification of hardware.

Sabih Agbaria, Dan Carmi, Orly Cohen, Dmitry Korchemny, Michael Lifshits, Alexander Nadel

Proceedings of 10th International Conference on Formal Methods in Computer-Aided Design, 2010