isabelle-utp/Z_Toolkit isabelle-utp/Z_Toolkit

  • Stars
    star
    5
  • Rank 2,861,937 (Top 57 %)
  • Language Isabelle
  • Created almost 4 years ago
  • Updated 3 months ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
isabelle-utp/Z_Toolkit
github

isabelle-utp

Reviews

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

Repository Details

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

More Repositories

1

utp-main

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

interaction-trees

Interactions Trees in Isabelle/HOL and a CSP model
Isabelle
6
star
3

Optics

Lenses, Prisms, Scenes, and other Optics in Isabelle/HOL
Isabelle
5
star
4

Hybrid-Verification

Components for Verifying Hybrid Systems in Isabelle/HOL
Isabelle
5
star
5

UTP

A refreshed and minimalist implementation of Isabelle/UTP
Isabelle
4
star
6

Shallow-Expressions

Isabelle
2
star
7

isabelle-quantity

Quantities in Isabelle/HOL
TeX
2
star
8

Isabelle-SACM

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

RoboChart-Isabelle

Isabelle
1
star
10

Total_Recall

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

Hybrid-Library

Additional theorems and tools to supporting reasoning about hybrid systems in Isabelle/HOL
TeX
1
star
12

UTP-Reactive

UTP theory of reactive processes
Isabelle
1
star
13

CyPhyAssure

Distribution of the CyPhyAssure tools
Shell
1
star
14

UTP-Designs

The UTP theory of designs
Isabelle
1
star
15

Isabelle-API

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

UTP-Docs

Documentation for Isabelle/UTP
1
star
17

Abstract_Prog_Syntax

A simple Isabelle session introducing syntax for abstract programs
Isabelle
1
star