Mark Matusevich

According to our database, Mark Matusevich authored at least 1 paper in 2003.

Collaborative distances:

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

2003

An Optimized Symbolic Bounded Model Checking Engine.

Rachel Tzoref, Mark Matusevich, Eli Berger, Ilan Beer

Proceedings of the Correct Hardware Design and Verification Methods, 2003