Pinned

1. utp-main utp-main Public

   An implementation of Hoare and He's Unifying Theories of Programming in Isabelle

   Isabelle 34 9

2. Z_Toolkit Z_Toolkit Public

   This is an implementation of the Z mathematical toolkit in Isabelle/HOL, as described in ISO 13568:2002.

   Isabelle 5 1

3. interaction-trees interaction-trees Public

   Interactions Trees in Isabelle/HOL and a CSP model

   Isabelle 6 1

4. Shallow-Expressions Shallow-Expressions Public

   Isabelle 3 2

5. Z_Machines Z_Machines Public

   Z-style Machines based on Interaction Trees

   Isabelle 1 1