FORMAL VERIFICATION-BASED PROGRAM REPAIR

Ph.D

Saved in:

Bibliographic Details
Main Author:	NGUYEN THANH TOAN
Other Authors:	COMPUTER SCIENCE
Format:	Theses and Dissertations
Language:	English
Published:	2022
Subjects:	automated program repair, formal verification, Hoare logic, separation logic, memory leaks, formal methods
Online Access:	https://scholarbank.nus.edu.sg/handle/10635/226233
Tags:	Add Tag No Tags, Be the first to tag this record!
Institution:	National University of Singapore
Language:	English

id	sg-nus-scholar.10635-226233
record_format	dspace
spelling	sg-nus-scholar.10635-2262332022-05-31T18:00:34Z FORMAL VERIFICATION-BASED PROGRAM REPAIR NGUYEN THANH TOAN COMPUTER SCIENCE Wei Ngan Chin automated program repair, formal verification, Hoare logic, separation logic, memory leaks, formal methods Ph.D DOCTOR OF PHILOSOPHY (SOC) 2022-05-31T18:00:34Z 2022-05-31T18:00:34Z 2022-01-20 Thesis NGUYEN THANH TOAN (2022-01-20). FORMAL VERIFICATION-BASED PROGRAM REPAIR. ScholarBank@NUS Repository. https://scholarbank.nus.edu.sg/handle/10635/226233 en
institution	National University of Singapore
building	NUS Library
continent	Asia
country	Singapore Singapore
content_provider	NUS Library
collection	ScholarBank@NUS
language	English
topic	automated program repair, formal verification, Hoare logic, separation logic, memory leaks, formal methods
spellingShingle	automated program repair, formal verification, Hoare logic, separation logic, memory leaks, formal methods NGUYEN THANH TOAN FORMAL VERIFICATION-BASED PROGRAM REPAIR
description	Ph.D
author2	COMPUTER SCIENCE
author_facet	COMPUTER SCIENCE NGUYEN THANH TOAN
format	Theses and Dissertations
author	NGUYEN THANH TOAN
author_sort	NGUYEN THANH TOAN
title	FORMAL VERIFICATION-BASED PROGRAM REPAIR
title_short	FORMAL VERIFICATION-BASED PROGRAM REPAIR
title_full	FORMAL VERIFICATION-BASED PROGRAM REPAIR
title_fullStr	FORMAL VERIFICATION-BASED PROGRAM REPAIR
title_full_unstemmed	FORMAL VERIFICATION-BASED PROGRAM REPAIR
title_sort	formal verification-based program repair
publishDate	2022
url	https://scholarbank.nus.edu.sg/handle/10635/226233
_version_	1735491001322045440

FORMAL VERIFICATION-BASED PROGRAM REPAIR

Similar Items