MECHANIZED VERIFICATION OF GRAPH-MANIPULATING PROGRAMS

Ph.D

Saved in:

Bibliographic Details
Main Author:	WANG SHENGYI
Other Authors:	COMPUTER SCIENCE
Format:	Theses and Dissertations
Language:	English
Published:	2020
Subjects:	Verification, Separation logic, Graph-manipulating programs, Coq, CompCert, VST
Online Access:	https://scholarbank.nus.edu.sg/handle/10635/166280
Tags:	Add Tag No Tags, Be the first to tag this record!
Institution:	National University of Singapore
Language:	English

id	sg-nus-scholar.10635-166280
record_format	dspace
spelling	sg-nus-scholar.10635-1662802024-10-24T18:15:17Z MECHANIZED VERIFICATION OF GRAPH-MANIPULATING PROGRAMS WANG SHENGYI COMPUTER SCIENCE Aquinas Hobor Verification, Separation logic, Graph-manipulating programs, Coq, CompCert, VST Ph.D DOCTOR OF PHILOSOPHY (SOC) 2020-03-31T18:00:58Z 2020-03-31T18:00:58Z 2019-07-23 Thesis WANG SHENGYI (2019-07-23). MECHANIZED VERIFICATION OF GRAPH-MANIPULATING PROGRAMS. ScholarBank@NUS Repository. https://scholarbank.nus.edu.sg/handle/10635/166280 en
institution	National University of Singapore
building	NUS Library
continent	Asia
country	Singapore Singapore
content_provider	NUS Library
collection	ScholarBank@NUS
language	English
topic	Verification, Separation logic, Graph-manipulating programs, Coq, CompCert, VST
spellingShingle	Verification, Separation logic, Graph-manipulating programs, Coq, CompCert, VST WANG SHENGYI MECHANIZED VERIFICATION OF GRAPH-MANIPULATING PROGRAMS
description	Ph.D
author2	COMPUTER SCIENCE
author_facet	COMPUTER SCIENCE WANG SHENGYI
format	Theses and Dissertations
author	WANG SHENGYI
author_sort	WANG SHENGYI
title	MECHANIZED VERIFICATION OF GRAPH-MANIPULATING PROGRAMS
title_short	MECHANIZED VERIFICATION OF GRAPH-MANIPULATING PROGRAMS
title_full	MECHANIZED VERIFICATION OF GRAPH-MANIPULATING PROGRAMS
title_fullStr	MECHANIZED VERIFICATION OF GRAPH-MANIPULATING PROGRAMS
title_full_unstemmed	MECHANIZED VERIFICATION OF GRAPH-MANIPULATING PROGRAMS
title_sort	mechanized verification of graph-manipulating programs
publishDate	2020
url	https://scholarbank.nus.edu.sg/handle/10635/166280
_version_	1821183172305485824

MECHANIZED VERIFICATION OF GRAPH-MANIPULATING PROGRAMS

Similar Items