Tasuku Nishihara, Takeshi Matsumoto, Masahiro Fujita. Multi-level Bounded Model Checking to detect bugs beyond the bound. In IEEE International High Level Design Validation and Test Workshop, HLDVT 2008, Incline Village, NV, USA, November 19-21, 2008. pages 49-55, IEEE, 2008. [doi]
Abstract is missing.