Automated verification of shape, size and bag properties via user-defined predicates in separation logic

10.1016/j.scico.2010.07.004

Saved in:

Bibliographic Details
Main Authors:	Chin, W.-N., David, C., Nguyen, H.H., Qin, S.
Other Authors:	COMPUTER SCIENCE
Format:	Review
Published:	2013
Subjects:	Automated verification Entailment checking Inductive shape predicates with size and bag properties Separation logic
Online Access:	http://scholarbank.nus.edu.sg/handle/10635/42335
Tags:	Add Tag No Tags, Be the first to tag this record!
Institution:	National University of Singapore

id	sg-nus-scholar.10635-42335
record_format	dspace
spelling	sg-nus-scholar.10635-423352023-10-29T20:08:01Z Automated verification of shape, size and bag properties via user-defined predicates in separation logic Chin, W.-N. David, C. Nguyen, H.H. Qin, S. COMPUTER SCIENCE Automated verification Entailment checking Inductive shape predicates with size and bag properties Separation logic 10.1016/j.scico.2010.07.004 Science of Computer Programming 77 9 1006-1036 SCPGD 2013-07-04T08:49:13Z 2013-07-04T08:49:13Z 2012 Review Chin, W.-N., David, C., Nguyen, H.H., Qin, S. (2012). Automated verification of shape, size and bag properties via user-defined predicates in separation logic. Science of Computer Programming 77 (9) : 1006-1036. ScholarBank@NUS Repository. https://doi.org/10.1016/j.scico.2010.07.004 01676423 http://scholarbank.nus.edu.sg/handle/10635/42335 000305924600004 Scopus
institution	National University of Singapore
building	NUS Library
continent	Asia
country	Singapore Singapore
content_provider	NUS Library
collection	ScholarBank@NUS
topic	Automated verification Entailment checking Inductive shape predicates with size and bag properties Separation logic
spellingShingle	Automated verification Entailment checking Inductive shape predicates with size and bag properties Separation logic Chin, W.-N. David, C. Nguyen, H.H. Qin, S. Automated verification of shape, size and bag properties via user-defined predicates in separation logic
description	10.1016/j.scico.2010.07.004
author2	COMPUTER SCIENCE
author_facet	COMPUTER SCIENCE Chin, W.-N. David, C. Nguyen, H.H. Qin, S.
format	Review
author	Chin, W.-N. David, C. Nguyen, H.H. Qin, S.
author_sort	Chin, W.-N.
title	Automated verification of shape, size and bag properties via user-defined predicates in separation logic
title_short	Automated verification of shape, size and bag properties via user-defined predicates in separation logic
title_full	Automated verification of shape, size and bag properties via user-defined predicates in separation logic
title_fullStr	Automated verification of shape, size and bag properties via user-defined predicates in separation logic
title_full_unstemmed	Automated verification of shape, size and bag properties via user-defined predicates in separation logic
title_sort	automated verification of shape, size and bag properties via user-defined predicates in separation logic
publishDate	2013
url	http://scholarbank.nus.edu.sg/handle/10635/42335
_version_	1781411150854881280

Automated verification of shape, size and bag properties via user-defined predicates in separation logic

Similar Items