Program
Verification
Book

PV0 ⊧ EMTST: Engineering the Meta-Theory of Session Typesproof assistant library for reasoning about session types

EMTST is a library to aid implementing session calculi type systems.

Application domain/field

Session types
Concurrency
Coq proof assistant

Type of tool

Library

Comments

License: GPL-3.0

Library Session types

Links

Repository (including case studies): https://github.com/emtst/emtst-proof
Last commit date: 15 Jun 2021 (default branch)
Last commit date: 15 Jun 2021 (last activity)

Related papers

EMTST: Engineering the Meta-theory of Session Types (TACAS '20)

Last publication date

17 April 2020

Related tools

Metalib, AutoSubst

ProVerB specific

Markdown description: view/edit
Reason for this entry: TACAS 2020
Contained in the ProVerB22 dataset (paper + artefact)

ProVerB is a part of SLEBoK. Last updated: February 2023.