Disjunctive invariants for modular static analysis

Ph.D

Saved in:

Bibliographic Details
Main Author:	POPEEA CORNELIU CHRISTIAN
Other Authors:	COMPUTER SCIENCE
Format:	Theses and Dissertations
Language:	English
Published:	2010
Subjects:	static analysis, program verification, disjunctive invariants, abstract interpretation, false positives
Online Access:	http://scholarbank.nus.edu.sg/handle/10635/16028
Tags:	Add Tag No Tags, Be the first to tag this record!
Institution:	National University of Singapore
Language:	English

id	sg-nus-scholar.10635-16028
record_format	dspace
spelling	sg-nus-scholar.10635-160282015-01-30T12:00:34Z Disjunctive invariants for modular static analysis POPEEA CORNELIU CHRISTIAN COMPUTER SCIENCE CHIN WEI NGAN static analysis, program verification, disjunctive invariants, abstract interpretation, false positives Ph.D DOCTOR OF PHILOSOPHY 2010-04-08T11:00:12Z 2010-04-08T11:00:12Z 2008-07-22 Thesis POPEEA CORNELIU CHRISTIAN (2008-07-22). Disjunctive invariants for modular static analysis. ScholarBank@NUS Repository. http://scholarbank.nus.edu.sg/handle/10635/16028 NOT_IN_WOS en
institution	National University of Singapore
building	NUS Library
country	Singapore
collection	ScholarBank@NUS
language	English
topic	static analysis, program verification, disjunctive invariants, abstract interpretation, false positives
spellingShingle	static analysis, program verification, disjunctive invariants, abstract interpretation, false positives POPEEA CORNELIU CHRISTIAN Disjunctive invariants for modular static analysis
description	Ph.D
author2	COMPUTER SCIENCE
author_facet	COMPUTER SCIENCE POPEEA CORNELIU CHRISTIAN
format	Theses and Dissertations
author	POPEEA CORNELIU CHRISTIAN
author_sort	POPEEA CORNELIU CHRISTIAN
title	Disjunctive invariants for modular static analysis
title_short	Disjunctive invariants for modular static analysis
title_full	Disjunctive invariants for modular static analysis
title_fullStr	Disjunctive invariants for modular static analysis
title_full_unstemmed	Disjunctive invariants for modular static analysis
title_sort	disjunctive invariants for modular static analysis
publishDate	2010
url	http://scholarbank.nus.edu.sg/handle/10635/16028
_version_	1681079293846749184

Disjunctive invariants for modular static analysis

Similar Items