Dual analysis for proving safety and finding bugs

Dual analysis for proving safety and finding bugs

10.1145/1774088.1774538

Saved in:
Bibliographic Details
Main Authors: Popeea, C., Chin, W.-N.
Other Authors: COMPUTER SCIENCE
Format: Conference or Workshop Item
Published: 2013
Subjects:
numerical domains
static analysis
Online Access:http://scholarbank.nus.edu.sg/handle/10635/39911
Tags: Add Tag
No Tags, Be the first to tag this record!
Institution: National University of Singapore
id sg-nus-scholar.10635-39911
record_format dspace
spelling sg-nus-scholar.10635-399112015-01-07T18:28:23Z Dual analysis for proving safety and finding bugs Popeea, C. Chin, W.-N. COMPUTER SCIENCE numerical domains static analysis 10.1145/1774088.1774538 Proceedings of the ACM Symposium on Applied Computing 2137-2143 2013-07-04T07:52:25Z 2013-07-04T07:52:25Z 2010 Conference Paper Popeea, C.,Chin, W.-N. (2010). Dual analysis for proving safety and finding bugs. Proceedings of the ACM Symposium on Applied Computing : 2137-2143. ScholarBank@NUS Repository. <a href="https://doi.org/10.1145/1774088.1774538" target="_blank">https://doi.org/10.1145/1774088.1774538</a> 9781605586380 http://scholarbank.nus.edu.sg/handle/10635/39911 NOT_IN_WOS Scopus
institution National University of Singapore
building NUS Library
country Singapore
collection ScholarBank@NUS
topic numerical domains
static analysis
spellingShingle numerical domains
static analysis
Popeea, C.
Chin, W.-N.
Dual analysis for proving safety and finding bugs
description 10.1145/1774088.1774538
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/39911
_version_ 1681082177048018944

Similar Items