Program
Verification
Book

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

Application domain/field

Protocols
Concurrent programming
Domain-specific language
Automata

Type of tool

Development kit for programming protocols

Automaton Protocol Session types

Links

https://www.open.ou.nl/ssj/prdk (broken link, no archive available)
http://web.archive.org/web/20121127092829/http://reo.project.cwi.nl/reo/ (a very old archive of the project page, not mentioning any work on PrDK)

Related papers

PrDK: Protocol Programming with Automata (TACAS 2016)

Last publication date

9 April 2016

Related tools

ProVerB specific

Markdown description: view/edit
Contained in the ProVerB22 dataset (paper + artefact)

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