Posts tagged cdsl

• Ad-hoc Frame Conditions are Logical, Separately - November 9, 2015
• A Lattice of Languages is a Verification Buffet - June 16, 2015
• Context splitting and substructural terms - January 1, 2014
• FP-Syd Talk on CDSL (and TFS) - October 16, 2013
• Trustworthy File Systems accepted to PLOS - October 7, 2013