Enhancing Total Correctness Proofs in Program Verification

Ph.D

Saved in:

Bibliographic Details
Main Author:	LE TON CHANH
Other Authors:	COMPUTER SCIENCE
Format:	Theses and Dissertations
Language:	English
Published:	2015
Subjects:	software verification, total correctness, termination inference, non-termination inference, resource logic, proof slicing
Online Access:	http://scholarbank.nus.edu.sg/handle/10635/119267
Tags:	Add Tag No Tags, Be the first to tag this record!
Institution:	National University of Singapore
Language:	English

id	sg-nus-scholar.10635-119267
record_format	dspace
spelling	sg-nus-scholar.10635-1192672015-03-31T19:58:55Z Enhancing Total Correctness Proofs in Program Verification LE TON CHANH COMPUTER SCIENCE CHIN WEI NGAN software verification, total correctness, termination inference, non-termination inference, resource logic, proof slicing Ph.D DOCTOR OF PHILOSOPHY 2015-03-31T18:01:34Z 2015-03-31T18:01:34Z 2014-11-26 Thesis LE TON CHANH (2014-11-26). Enhancing Total Correctness Proofs in Program Verification. ScholarBank@NUS Repository. http://scholarbank.nus.edu.sg/handle/10635/119267 NOT_IN_WOS en
institution	National University of Singapore
building	NUS Library
country	Singapore
collection	ScholarBank@NUS
language	English
topic	software verification, total correctness, termination inference, non-termination inference, resource logic, proof slicing
spellingShingle	software verification, total correctness, termination inference, non-termination inference, resource logic, proof slicing LE TON CHANH Enhancing Total Correctness Proofs in Program Verification
description	Ph.D
author2	COMPUTER SCIENCE
author_facet	COMPUTER SCIENCE LE TON CHANH
format	Theses and Dissertations
author	LE TON CHANH
author_sort	LE TON CHANH
title	Enhancing Total Correctness Proofs in Program Verification
title_short	Enhancing Total Correctness Proofs in Program Verification
title_full	Enhancing Total Correctness Proofs in Program Verification
title_fullStr	Enhancing Total Correctness Proofs in Program Verification
title_full_unstemmed	Enhancing Total Correctness Proofs in Program Verification
title_sort	enhancing total correctness proofs in program verification
publishDate	2015
url	http://scholarbank.nus.edu.sg/handle/10635/119267
_version_	1681095535701786624

Enhancing Total Correctness Proofs in Program Verification

Similar Items