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
Daniel Kroening