[isabelle] Formalization of Liskov-Myers/Jif/... ?



Please point me to any formalization of the Liskov-Myers/Jif approach,
or descendents of it.

I have found the Isabelle AFS work on VolpanoSmith and InformationFlowSlicing.

Thanks for any info.

Randy





This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.