New advances in verification and debugging of hardware systems
No Thumbnail Available
Files
Date
2015
Authors
Journal Title
Journal ISSN
Volume Title
Publisher
Indian Statistical Institute, Kolkata
Abstract
Description
Dissertation under the supervision of Ansuman Banerjee, ACM Unit
Keywords
LTL, Debugging, Bug localization, Bug fix suggestion
Citation
62p.