PV4 PrDKa DSL and a language workbench to create protocols as automata

Application domain/field

Type of tool

Development kit for programming protocols
Automaton Protocol Session types


Related papers

PrDK: Protocol Programming with Automata (TACAS 2016)

Last publication date

9 April 2016

Related tools


ProVerB specific

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