Please use this identifier to cite or link to this item:
http://hdl.handle.net/10603/315850
Title: | Scalable quantifier elimination Techniques for formal verification |
Researcher: | Ajith K J |
Guide(s): | Supratik Chakraborty |
Keywords: | Engineering and Technology |
University: | Homi Bhabha National Institute |
Completed Date: | 2017 |
Abstract: | newline |
Pagination: | |
URI: | http://hdl.handle.net/10603/315850 |
Appears in Departments: | Department of Engineering Sciences |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
01_title.pdf | Attached File | 72.41 kB | Adobe PDF | View/Open |
02_certificate.pdf | 78.21 kB | Adobe PDF | View/Open | |
03_prelim.pdf | 93.46 kB | Adobe PDF | View/Open | |
80_recommendation.pdf | 72.41 kB | Adobe PDF | View/Open | |
chap1.pdf | 134.39 kB | Adobe PDF | View/Open | |
chap2.pdf | 218.1 kB | Adobe PDF | View/Open | |
chap3.pdf | 710.76 kB | Adobe PDF | View/Open | |
chap4.pdf | 388.59 kB | Adobe PDF | View/Open | |
chap5.pdf | 548.84 kB | Adobe PDF | View/Open | |
chap6.pdf | 81.37 kB | Adobe PDF | View/Open | |
content.pdf | 86.61 kB | Adobe PDF | View/Open | |
misc.pdf | 118.95 kB | Adobe PDF | View/Open | |
synopsis.pdf | 71.67 kB | Adobe PDF | View/Open | |
tabfiglist.pdf | 97.55 kB | Adobe PDF | View/Open |
Items in Shodhganga are licensed under Creative Commons Licence Attribution-NonCommercial-ShareAlike 4.0 International (CC BY-NC-SA 4.0).
Altmetric Badge: