Concurrency Theory
Tools
Print
Email
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
Next
You are here:
Home
Categories
Research
Tools
Main Menu
Home
Organizations
Events
Research
Teaching
People
Categories
Login Form
Username
Password
Remember Me
Log in
Forgot your username?
Forgot your password?