Cell : A compositional verification framework

Master's

Saved in:

Bibliographic Details
Main Author:	JI KUN
Other Authors:	COMPUTER SCIENCE
Format:	Theses and Dissertations
Language:	English
Published:	2013
Subjects:	Formal Verification, Model Checking, Compositional Verification,Concurrent System, Real-time System, CELL Framework
Online Access:	http://scholarbank.nus.edu.sg/handle/10635/48323
Tags:	Add Tag No Tags, Be the first to tag this record!
Institution:	National University of Singapore
Language:	English

id	sg-nus-scholar.10635-48323
record_format	dspace
spelling	sg-nus-scholar.10635-483232015-01-21T11:34:55Z Cell : A compositional verification framework JI KUN COMPUTER SCIENCE DONG JIN SONG Formal Verification, Model Checking, Compositional Verification,Concurrent System, Real-time System, CELL Framework Master's MASTER OF SCIENCE 2013-11-30T18:00:14Z 2013-11-30T18:00:14Z 2013-06-20 Thesis JI KUN (2013-06-20). Cell : A compositional verification framework. ScholarBank@NUS Repository. http://scholarbank.nus.edu.sg/handle/10635/48323 NOT_IN_WOS en
institution	National University of Singapore
building	NUS Library
country	Singapore
collection	ScholarBank@NUS
language	English
topic	Formal Verification, Model Checking, Compositional Verification,Concurrent System, Real-time System, CELL Framework
spellingShingle	Formal Verification, Model Checking, Compositional Verification,Concurrent System, Real-time System, CELL Framework JI KUN Cell : A compositional verification framework
description	Master's
author2	COMPUTER SCIENCE
author_facet	COMPUTER SCIENCE JI KUN
format	Theses and Dissertations
author	JI KUN
author_sort	JI KUN
title	Cell : A compositional verification framework
title_short	Cell : A compositional verification framework
title_full	Cell : A compositional verification framework
title_fullStr	Cell : A compositional verification framework
title_full_unstemmed	Cell : A compositional verification framework
title_sort	cell : a compositional verification framework
publishDate	2013
url	http://scholarbank.nus.edu.sg/handle/10635/48323
_version_	1681083478542647296

Cell : A compositional verification framework

Similar Items