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 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

Repositories

Showing 10 of 28 repositories
  • Z_Machines Public

    Z-style Machines based on Interaction Trees

    isabelle-utp/Z_Machines’s past year of commit activity
    Isabelle 1 BSD-3-Clause 1 0 0 Updated Jun 24, 2024
  • CyPhyAssure Public

    Distribution of the CyPhyAssure tools

    isabelle-utp/CyPhyAssure’s past year of commit activity
    Shell 1 1 1 0 Updated Jun 21, 2024
  • 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 1 2 0 Updated Jun 21, 2024
  • interaction-trees Public

    Interactions Trees in Isabelle/HOL and a CSP model

    isabelle-utp/interaction-trees’s past year of commit activity
    Isabelle 6 1 1 1 Updated Jun 17, 2024
  • Abstract_Prog_Syntax Public

    A simple Isabelle session introducing syntax for abstract programs

    isabelle-utp/Abstract_Prog_Syntax’s past year of commit activity
    Isabelle 1 1 0 0 Updated Apr 10, 2024
  • Hybrid-Verification Public

    Components for Verifying Hybrid Systems in Isabelle/HOL

    isabelle-utp/Hybrid-Verification’s past year of commit activity
    Isabelle 5 1 0 0 Updated Apr 9, 2024
  • Shallow-Expressions Public
    isabelle-utp/Shallow-Expressions’s past year of commit activity
    Isabelle 3 BSD-3-Clause 2 1 0 Updated Mar 30, 2024
  • Total_Recall Public

    A utility to enable better support for overriding of syntax notation in Isabelle/HOL, developed by Dr Frank Zeyda.

    isabelle-utp/Total_Recall’s past year of commit activity
    Standard ML 2 1 0 0 Updated Mar 30, 2024
  • Optics Public

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

    isabelle-utp/Optics’s past year of commit activity
    Isabelle 5 1 0 0 Updated Mar 30, 2024
  • explore-subgoal Public Forked from wimmers/explore-subgoal

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

    isabelle-utp/explore-subgoal’s past year of commit activity
    Isabelle 1 2 0 0 Updated Mar 30, 2024
View all repositories

Top languages

Loading…

Most used topics

Loading…