Automated verification of shape, size and bag properties
10.1109/ICECCS.2007.17
Saved in:
Main Authors: | Chin, W.-N., David, C., Nguyen, H.H., Qin, S. |
---|---|
Other Authors: | COMPUTER SCIENCE |
Format: | Conference or Workshop Item |
Published: |
2013
|
Online Access: | http://scholarbank.nus.edu.sg/handle/10635/40463 |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Institution: | National University of Singapore |
Similar Items
-
Automated verification of shape, size and bag properties via user-defined predicates in separation logic
by: Chin, W.-N., et al.
Published: (2013) -
Automated verification of shape and size properties via separation logic
by: Nguyen, H.H., et al.
Published: (2013) -
Automated Verification of Complete Specification with Shape Inference
by: LE QUANG LOC
Published: (2014) -
Enhancing modular OO verification with separation logic
by: Chin, W.-N., et al.
Published: (2013) -
Enhancing modular OO verification with separation logic
by: Chin, W.-N., et al.
Published: (2013)