Dual analysis for proving safety and finding bugs

10.1016/j.scico.2012.07.004

Saved in:

Bibliographic Details
Main Authors:	Popeea, C., Chin, W.-N.
Other Authors:	COMPUTER SCIENCE
Format:	Conference or Workshop Item
Published:	2013
Subjects:	Automated verification False positive Numerical abstract domain Static analysis
Online Access:	http://scholarbank.nus.edu.sg/handle/10635/42058
Tags:	Add Tag No Tags, Be the first to tag this record!
Institution:	National University of Singapore

id	sg-nus-scholar.10635-42058
record_format	dspace
spelling	sg-nus-scholar.10635-420582024-11-12T18:28:03Z Dual analysis for proving safety and finding bugs Popeea, C. Chin, W.-N. COMPUTER SCIENCE Automated verification False positive Numerical abstract domain Static analysis 10.1016/j.scico.2012.07.004 Science of Computer Programming 78 4 390-411 SCPGD 2013-07-04T08:42:21Z 2013-07-04T08:42:21Z 2013 Conference Paper Popeea, C., Chin, W.-N. (2013). Dual analysis for proving safety and finding bugs. Science of Computer Programming 78 (4) : 390-411. ScholarBank@NUS Repository. https://doi.org/10.1016/j.scico.2012.07.004 01676423 http://scholarbank.nus.edu.sg/handle/10635/42058 000315978700005 Scopus
institution	National University of Singapore
building	NUS Library
continent	Asia
country	Singapore Singapore
content_provider	NUS Library
collection	ScholarBank@NUS
topic	Automated verification False positive Numerical abstract domain Static analysis
spellingShingle	Automated verification False positive Numerical abstract domain Static analysis Popeea, C. Chin, W.-N. Dual analysis for proving safety and finding bugs
description	10.1016/j.scico.2012.07.004
author2	COMPUTER SCIENCE
author_facet	COMPUTER SCIENCE Popeea, C. Chin, W.-N.
format	Conference or Workshop Item
author	Popeea, C. Chin, W.-N.
author_sort	Popeea, C.
title	Dual analysis for proving safety and finding bugs
title_short	Dual analysis for proving safety and finding bugs
title_full	Dual analysis for proving safety and finding bugs
title_fullStr	Dual analysis for proving safety and finding bugs
title_full_unstemmed	Dual analysis for proving safety and finding bugs
title_sort	dual analysis for proving safety and finding bugs
publishDate	2013
url	http://scholarbank.nus.edu.sg/handle/10635/42058
_version_	1821214795051827200

Dual analysis for proving safety and finding bugs

Similar Items