Report copyright - Cartesian Hoare Logic for Verifying k-Safety Propertiesisil/pldi16-chl.pdf · Cartesian Hoare Logic (CHL) for proving valid Cartesian Hoare triples (Section 4). We describe a practical
Please pass captcha verification before submit form