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

Similar Items