isabelle-utp/Hybrid-Library

Stars
1
Language
TeX
Created almost 4 years ago
Updated almost 4 years ago

isabelle-utp/Hybrid-Library

isabelle-utp

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

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

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.

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