Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] Z specifications in Isabelle

Email Gateway (Aug 19 2022 at 17:15):

From: Lavinia <lburski@live.co.uk>
Hello all,

I am a PhD student looking at Z specifications and
Isabelle and how the formalisation path can be broken down and
simplified. I was wondering if anyone knows where I could find examples
of full Z specifications and there proofs in isabelle, including all the
.thy files needed?

Hope you can help

Thanks in advance

From Lavinia

Last updated: Apr 20 2024 at 01:05 UTC