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

  • Forgot your username?
  • Forgot your password?

Back to Top

© 2021 Concurrency Theory