Kazunari Horikawa

According to our database, Kazunari Horikawa authored at least 3 papers between 2005 and 2006.

Collaborative distances:

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

2006

Coverage Estimation Using Transition Perturbation for Symbolic Model Checking in Hardware Verification.

Xingwen Xu, Shinji Kimura, Kazunari Horikawa, Takehiko Tsuchiya

IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2006

Transition-based coverage estimation for symbolic model checking.

Xingwen Xu, Shinji Kimura, Kazunari Horikawa, Takehiko Tsuchiya

Proceedings of the 2006 Conference on Asia South Pacific Design Automation: ASP-DAC 2006, 2006

2005

Extended abstract: transition traversal coverage estimation for symbolic model checking.

Xingwen Xu, Shinji Kimura, Kazunari Horikawa, Takehiko Tsuchiya

Proceedings of the 3rd ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2005), 2005