2 search results - page 1 / 1 » Dsolve: Safety Verification via Liquid Types |
CAV
2010
Springer
13 years 8 months ago
2010
Springer
POPL
2010
ACM
14 years 2 months 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...