newsSeparation Logic in Coq - News

 
 

Completeness proof for Separation Logic

Item posted by nicolas marti <alalme> on Thu 10 Aug 2006 08:58:53 AM UTC.

Completeness proof for separation logic (lemma semax_complete in axiomatic.v).

Back to the top

Powered by Savane 3.13-caa5.
Corresponding source code