Verifying safety policies with size properties and alias controls
Proceedings - 27th International Conference on Software Engineering, ICSE05
Saved in:
Main Authors: | Chin, W.-N., Khoo, S.-C., Qin, S., Popeea, C., Nguyen, H.H. |
---|---|
Other Authors: | COMPUTER SCIENCE |
Format: | Conference or Workshop Item |
Published: |
2013
|
Subjects: | |
Online Access: | http://scholarbank.nus.edu.sg/handle/10635/41067 |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Institution: | National University of Singapore |
Similar Items
-
A practical and precise inference and specializer for array bound checks elimination
by: Popeea, C., et al.
Published: (2013) -
Verifying pointer safety for programs with unknown calls
by: Luo, C., et al.
Published: (2013) -
A type system for resource protocol verification and its correctness proof
by: Popeea, C., et al.
Published: (2013) -
Automated verification of shape, size and bag properties via user-defined predicates in separation logic
by: Chin, W.-N., et al.
Published: (2013) -
An expressive framework for verifying deadlock freedom
by: Le, D.-K., et al.
Published: (2014)