Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Next revision
Previous revision
tools:discontinued [2015/09/22 16:49]
hverbeek created
tools:discontinued [2017/10/03 10:11] (current)
hverbeek [ExSpect]
Line 1: Line 1:
-====== Discontinued ====== 
  
 ===== ExSpect ===== ===== ExSpect =====
Line 5: Line 4:
 **Ex**ecutable **Spec**ification **t**ool. **Ex**ecutable **Spec**ification **t**ool.
  
-  * [[http://​www.exspect.com/​|Home page]] ​+  * <del>[[http://​www.exspect.com/​|Home page]]</​del>​
  
-==== Woflan =====+===== Woflan =====
  
 **Wo**rk**fl**ow **An**alyzer (Now part of ProM). **Wo**rk**fl**ow **An**alyzer (Now part of ProM).
  
   * [[http://​www.win.tue.nl/​woflan/​|Home page]]   * [[http://​www.win.tue.nl/​woflan/​|Home page]]
 +
 +====== ======
 +{{page>​tools:​yasper}}
 +