isabelle-utp/Isabelle-API

Stars
1
Language Isabelle
License
BSD 3-Clause "New...
Created about 4 years ago
Updated about 4 years ago

isabelle-utp/Isabelle-API

isabelle-utp

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

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

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

UTP-Docs

Documentation for Isabelle/UTP

Abstract_Prog_Syntax

A simple Isabelle session introducing syntax for abstract programs