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

Links

Related papers

https://doi.org/10.1007/978-3-662-49674-9_33 (TACAS 2016)

Last publication date

9 April 2016

Related tools

Scribble

ProVerB specific

View/edit source (Markdown)



ProVerB is a part of SLEBoK. Last updated: July 2022.