Explore @isabelle-utp Open Source projects

Isabelle/UTP (@isabelle-utp)

isabelle-utp

Stars
59
Global Org. Rank 73,849 (Top 24 %)
Registered about 10 years ago
Most used languages

Isabelle 76.5 %

TeX
11.8 %

Shell
5.9 %

Standard ML 5.9 %
Location 🇬🇧 United Kingdom
Country Total Rank 12,348
Country Ranking

Isabelle 2

Standard ML 30

TeX
658

Shell
6,450

utp-main

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

interaction-trees

Interactions Trees in Isabelle/HOL and a CSP model

Optics

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

Hybrid-Verification

Components for Verifying Hybrid Systems in Isabelle/HOL

Z_Toolkit

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

UTP

A refreshed and minimalist implementation of Isabelle/UTP

Shallow-Expressions

isabelle-quantity

Quantities in Isabelle/HOL

Isabelle-SACM

An implementation of the Structured Assurance Case Meta-model in Isabelle using Isabelle/DOF

RoboChart-Isabelle

Total_Recall

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

Hybrid-Library

Additional theorems and tools to supporting reasoning about hybrid systems in Isabelle/HOL

UTP-Reactive

UTP theory of reactive processes

CyPhyAssure

Distribution of the CyPhyAssure tools

UTP-Designs

The UTP theory of designs

Isabelle-API

A simple reflective API for Isabelle/HOL targeting code generation.

UTP-Docs

Documentation for Isabelle/UTP

Abstract_Prog_Syntax

A simple Isabelle session introducing syntax for abstract programs