Derrick Karimi

According to our database, Derrick Karimi authored at least 1 paper in 2016.

Collaborative distances:

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

2016

Model Checking with Multi-threaded IC3 Portfolios.

Sagar Chaki, Derrick Karimi

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2016