2 search results - page 1 / 1 » Dsolve: Safety Verification via Liquid Types |
CAV
2010
Springer
15 years 6 months ago
2010
Springer
151
click to vote
POPL
2010
ACM
16 years 13 days ago
2010
ACM
We present Low-Level Liquid Types, a refinement type system for C based on Liquid Types. Low-Level Liquid Types combine refinement types with three key elements to automate verifi...