Tools

Details: Written by Christoph Wagner; Category: Research; Published: 14 June 2013

Texts

Instances

Tools

Miscellaneous

Tools

Abstract Interpreter
The AmbIcobjs Demo
CRYPTYC: Cryptographic Protocol Type Checker
Facile
Funnel
JACK Tool Set
Join Calculus
Klaim
Mobility Workbench
Mozart Oz
OBC Workbench
Piccola
Pict
Nomadic Pict (Resources)
STA (Symbolic Trace Analyzer)
TyCO
VPAM-0.8