Skip to content
@isabelle-utp

Isabelle/UTP

Pinned Loading

  1. utp-main utp-main Public

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

    Isabelle 39 11

  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 2

  3. interaction-trees interaction-trees Public

    Interactions Trees in Isabelle/HOL and a CSP model

    Isabelle 11 2

  4. Shallow-Expressions Shallow-Expressions Public

    Isabelle 3 3

  5. Z_Machines Z_Machines Public

    Z-style Machines based on Interaction Trees

    Isabelle 1 1

Repositories

Showing 10 of 42 repositories
  • Carnap Public Forked from cplaursen/Carnap

    A formal logic framework that runs in the browser, with customisations for teaching at the University of York

    isabelle-utp/Carnap's past year of commit activity
    Haskell 0 GPL-3.0 1 0 0 Updated Sep 14, 2026
  • UTP-Reactive Public

    UTP theory of reactive processes

    isabelle-utp/UTP-Reactive's past year of commit activity
    Isabelle 1 BSD-3-Clause 2 0 0 Updated Sep 7, 2026
  • UTP-Designs Public

    The UTP theory of designs

    isabelle-utp/UTP-Designs's past year of commit activity
    Isabelle 1 BSD-3-Clause 3 0 0 Updated Sep 7, 2026
  • UTP Public

    A refreshed and minimalist implementation of Isabelle/UTP

    isabelle-utp/UTP's past year of commit activity
    Isabelle 5 3 0 1 Updated Sep 7, 2026
  • interaction-trees Public

    Interactions Trees in Isabelle/HOL and a CSP model

    isabelle-utp/interaction-trees's past year of commit activity
    Isabelle 11 2 1 1 Updated Aug 28, 2026
  • Ax_CyPhyCircus Public

    An axiomatic implementation of CyPhyCircus

    isabelle-utp/Ax_CyPhyCircus's past year of commit activity
    Isabelle 0 0 0 0 Updated Aug 10, 2026
  • Circus_Toolkit Public

    An extension of the Z Toolkit to support the Circus process language family.

    isabelle-utp/Circus_Toolkit's past year of commit activity
    Isabelle 0 1 0 0 Updated Aug 10, 2026
  • Z_Toolkit Public

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

    isabelle-utp/Z_Toolkit's past year of commit activity
    Isabelle 5 2 2 1 Updated Aug 5, 2026
  • IsaCycas Public

    IsaCycas is a language for modelling concurrent cyber-physical systems, based on Circus.

    isabelle-utp/IsaCycas's past year of commit activity
    Isabelle 0 0 0 0 Updated Aug 4, 2026
  • IsaCircus Public

    An implementation of the UTP semantics of Circus in Isabelle/UTP

    isabelle-utp/IsaCircus's past year of commit activity
    Isabelle 0 0 0 0 Updated Aug 4, 2026
View all repositories

Most used topics

Loading…