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

Wei-Ngan Chin, Cristina David, Huu Hai Nguyen, Shengchao Qin

Research output: Contribution to journalArticlepeer-review

107 Downloads (Pure)

Fingerprint

Dive into the research topics of 'Automated verification of shape, size and bag properties via user-defined predicates in separation logic'. Together they form a unique fingerprint.

Engineering & Materials Science