verifiable-expressions

Description

An intermediate language for Hoare logic style verification.

Description

A typed intermediate language for Hoare logic style verification. It defines the intermediate language and combinators to interact it.

README.md

Verifiable Expressions

Intermediate language for Hoare Logic style verification and useful combinators.

Please see Language.Expression.Example for how to use this library.

Metadata

0.6.3

Darwin

FreeBSD

Genode

GHCJS

Linux

MMIXware

NetBSD

none

OpenBSD

Redox

Solaris

WASI

Windows

Show all