Enhancing State Space Reduction Methods for Model Checking

Ph.D

Saved in:

Bibliographic Details
Main Author:	ZHANG SHAOJIE
Other Authors:	NUS GRAD SCH FOR INTEGRATIVE SCI & ENGG
Format:	Theses and Dissertations
Language:	English
Published:	2013
Subjects:	Model Checking, Symmetry Reduction, Partial Order Reduction, Fairness, Linearizability, Symmetry Detection
Online Access:	http://scholarbank.nus.edu.sg/handle/10635/38797
Tags:	Add Tag No Tags, Be the first to tag this record!
Institution:	National University of Singapore
Language:	English

id	sg-nus-scholar.10635-38797
record_format	dspace
spelling	sg-nus-scholar.10635-387972015-01-06T06:03:06Z Enhancing State Space Reduction Methods for Model Checking ZHANG SHAOJIE NUS GRAD SCH FOR INTEGRATIVE SCI & ENGG DONG JIN SONG Model Checking, Symmetry Reduction, Partial Order Reduction, Fairness, Linearizability, Symmetry Detection Ph.D DOCTOR OF PHILOSOPHY 2013-06-30T18:01:56Z 2013-06-30T18:01:56Z 2013-01-23 Thesis ZHANG SHAOJIE (2013-01-23). Enhancing State Space Reduction Methods for Model Checking. ScholarBank@NUS Repository. http://scholarbank.nus.edu.sg/handle/10635/38797 NOT_IN_WOS en
institution	National University of Singapore
building	NUS Library
country	Singapore
collection	ScholarBank@NUS
language	English
topic	Model Checking, Symmetry Reduction, Partial Order Reduction, Fairness, Linearizability, Symmetry Detection
spellingShingle	Model Checking, Symmetry Reduction, Partial Order Reduction, Fairness, Linearizability, Symmetry Detection ZHANG SHAOJIE Enhancing State Space Reduction Methods for Model Checking
description	Ph.D
author2	NUS GRAD SCH FOR INTEGRATIVE SCI & ENGG
author_facet	NUS GRAD SCH FOR INTEGRATIVE SCI & ENGG ZHANG SHAOJIE
format	Theses and Dissertations
author	ZHANG SHAOJIE
author_sort	ZHANG SHAOJIE
title	Enhancing State Space Reduction Methods for Model Checking
title_short	Enhancing State Space Reduction Methods for Model Checking
title_full	Enhancing State Space Reduction Methods for Model Checking
title_fullStr	Enhancing State Space Reduction Methods for Model Checking
title_full_unstemmed	Enhancing State Space Reduction Methods for Model Checking
title_sort	enhancing state space reduction methods for model checking
publishDate	2013
url	http://scholarbank.nus.edu.sg/handle/10635/38797
_version_	1681081988655611904

Enhancing State Space Reduction Methods for Model Checking

Similar Items