University of Freiburg | Faculty of Applied Sciences | Institute for Computer Science | Computer Networks and Telematics
The tele Research Group
   
Home         Teaching         Research        Tools         Openings        Publications
     
     
     

Tools

  • MESA (Message Sequence Chart Editor Simulator Analyzer)
  • VIP (A Visual Interface to Promela)
  • HSF-SPIN A Directed Model Checker