Skip to main content

Computing Over−Approximations with Bounded Model Checking

Daniel Kroening

Book Title
Proceedings of the Third International Workshop on Bounded Model Checking (BMC 2005)
Month
January
Pages
79–92
Publisher
Elsevier
Series
ENTCS
Volume
144
Year
2006