An Efficient Verification of Concurrent Programs Using Multi Layered Software Verification Tool

Please use this identifier to cite or link to this item: http://hdl.handle.net/10603/395183

Title:	An Efficient Verification of Concurrent Programs Using Multi Layered Software Verification Tool
Researcher:	Gayetri Devi, S V
Guide(s):	Nalini, C
Keywords:	Computer Science Computer Science Software Engineering Engineering and Technology
University:	Bharath University
Completed Date:	2022
Pagination:
URI:	http://hdl.handle.net/10603/395183
Appears in Departments:	Department of Computer Science and Engineering

Files in This Item:

File	Description	Size	Format
01_title.pdf	Attached File	79.44 kB	Adobe PDF	View/Open
02_declaration.pdf		102.87 kB	Adobe PDF	View/Open
03_certificate.pdf		102.47 kB	Adobe PDF	View/Open
04_acknowledgement.pdf		53.09 kB	Adobe PDF	View/Open
05_content.pdf		71.46 kB	Adobe PDF	View/Open
06_list of tables and figure.pdf		67.04 kB	Adobe PDF	View/Open
07_abstract.pdf		54.16 kB	Adobe PDF	View/Open
08_chapter 1.pdf		272.22 kB	Adobe PDF	View/Open
09_chapter 2.pdf		142.79 kB	Adobe PDF	View/Open
10_chapter 3.pdf		386.39 kB	Adobe PDF	View/Open
11_chapter 4.pdf		1.17 MB	Adobe PDF	View/Open
12_chapter 5.pdf		1.03 MB	Adobe PDF	View/Open
13_chapter 6.pdf		818.65 kB	Adobe PDF	View/Open
14_chapter 7.pdf		1.35 MB	Adobe PDF	View/Open
15_chapter 8.pdf		1.21 MB	Adobe PDF	View/Open
16_chapter 9.pdf		82.78 kB	Adobe PDF	View/Open
17_bibliography.pdf		108.61 kB	Adobe PDF	View/Open
80_recommendation.pdf		159.93 kB	Adobe PDF	View/Open

Show full item record

Items in Shodhganga are licensed under Creative Commons Licence Attribution-NonCommercial-ShareAlike 4.0 International (CC BY-NC-SA 4.0).

Altmetric Badge:

Shodhganga : a reservoir of Indian theses @ INFLIBNET