Pda - The Protocol Derivation Assistant

Pda is a graphical editor and support tool for deriving protocols. These pages are under construction; some sections are incomplete, others are entirely missing, or in a very early construction phase. Partly this reflects the reality of a rapidly changing interface. Please do not hesitate to contact us to identify problems or inquire about unclear or incomplete documentation.