Stream: Archive Mirror: Isabelle Users Mailing List

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

view this post on Zulip Email Gateway (Aug 18 2022 at 17:07):

From: Randy Pollack <rpollack@inf.ed.ac.uk>
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

Last updated: Nov 21 2024 at 12:39 UTC