Compositional encoding for bounded model checking

10.1007/s11704-008-0035-6

Saved in:

Bibliographic Details
Main Authors:	Sun, J., Liu, Y., Dong, J.S.
Other Authors:	COMPUTER SCIENCE
Format:	Article
Published:	2013
Subjects:	Bounded model checking Communication Sequential Processes (CSP) Linear Temporal Logic (LTL)
Online Access:	http://scholarbank.nus.edu.sg/handle/10635/38949
Tags:	Add Tag No Tags, Be the first to tag this record!
Institution:	National University of Singapore

id	sg-nus-scholar.10635-38949
record_format	dspace
spelling	sg-nus-scholar.10635-389492015-01-09T06:39:47Z Compositional encoding for bounded model checking Sun, J. Liu, Y. Dong, J.S. Sun, J. COMPUTER SCIENCE Bounded model checking Communication Sequential Processes (CSP) Linear Temporal Logic (LTL) 10.1007/s11704-008-0035-6 Frontiers of Computer Science in China 2 4 368-379 2013-07-04T07:30:33Z 2013-07-04T07:30:33Z 2008 Article Sun, J.,Liu, Y.,Dong, J.S.,Sun, J. (2008). Compositional encoding for bounded model checking. Frontiers of Computer Science in China 2 (4) : 368-379. ScholarBank@NUS Repository. <a href="https://doi.org/10.1007/s11704-008-0035-6" target="_blank">https://doi.org/10.1007/s11704-008-0035-6</a> 16737350 http://scholarbank.nus.edu.sg/handle/10635/38949 NOT_IN_WOS Scopus
institution	National University of Singapore
building	NUS Library
country	Singapore
collection	ScholarBank@NUS
topic	Bounded model checking Communication Sequential Processes (CSP) Linear Temporal Logic (LTL)
spellingShingle	Bounded model checking Communication Sequential Processes (CSP) Linear Temporal Logic (LTL) Sun, J. Liu, Y. Dong, J.S. Sun, J. Compositional encoding for bounded model checking
description	10.1007/s11704-008-0035-6
author2	COMPUTER SCIENCE
author_facet	COMPUTER SCIENCE Sun, J. Liu, Y. Dong, J.S. Sun, J.
format	Article
author	Sun, J. Liu, Y. Dong, J.S. Sun, J.
author_sort	Sun, J.
title	Compositional encoding for bounded model checking
title_short	Compositional encoding for bounded model checking
title_full	Compositional encoding for bounded model checking
title_fullStr	Compositional encoding for bounded model checking
title_full_unstemmed	Compositional encoding for bounded model checking
title_sort	compositional encoding for bounded model checking
publishDate	2013
url	http://scholarbank.nus.edu.sg/handle/10635/38949
_version_	1681082010188120064

Compositional encoding for bounded model checking

Similar Items