isabelle-utp/utp-main

Stars
31
Rank 820,005 (Top 17 %)
Language Isabelle
License
Other
Created about 10 years ago
Updated almost 2 years ago

isabelle-utp/utp-main

isabelle-utp

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

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