Skip to content
@isabelle-utp

Isabelle/UTP

Pinned Loading

  1. utp-main Public

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

    Isabelle 35 10

  2. 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 Public

    Interactions Trees in Isabelle/HOL and a CSP model

    Isabelle 6 1

  4. Shallow-Expressions Public

    Isabelle 3 2

  5. Z_Machines Public

    Z-style Machines based on Interaction Trees

    Isabelle 1 1

Repositories

Showing 10 of 31 repositories
  • Shallow-Expressions Public
    Isabelle 3 BSD-3-Clause 2 1 0 Updated Mar 21, 2025
  • interaction-trees Public

    Interactions Trees in Isabelle/HOL and a CSP model

    Isabelle 6 1 1 1 Updated Mar 21, 2025
  • explore-subgoal Public Forked from wimmers/explore-subgoal

    Adds an "explore_subgoal" command to Mathias Fleury's Explorer.thy

    Isabelle 1 2 0 0 Updated Mar 21, 2025
  • UTP-Reactive-Designs Public

    The UTP theory of reactive designs

    Isabelle 0 0 0 0 Updated Mar 10, 2025
  • Hybrid-Verification Public

    Components for Verifying Hybrid Systems in Isabelle/HOL

    Isabelle 5 1 0 0 Updated Mar 10, 2025
  • Z_Toolkit Public

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

    Isabelle 5 1 2 0 Updated Feb 24, 2025
  • Optics Public

    Lenses, Prisms, Scenes, and other Optics in Isabelle/HOL

    Isabelle 5 1 0 0 Updated Feb 24, 2025
  • UTP-Reactive Public

    UTP theory of reactive processes

    Isabelle 1 BSD-3-Clause 1 0 0 Updated Jan 28, 2025
  • UTP Public

    A refreshed and minimalist implementation of Isabelle/UTP

    Isabelle 4 2 0 1 Updated Jan 27, 2025
  • UTP-Designs Public

    The UTP theory of designs

    Isabelle 1 BSD-3-Clause 2 0 0 Updated Jan 24, 2025
View all repositories