Tools

Links to the presented tools at the workshop:

  1. Churrasco
  2. MARPLE
  3. Hopscotch
  4. IntensiVE
  5. mCRL2
  6. Rigi
  7. TestQ
  8. Small Project Observatory
  9. Primus
  10. Compose*
  11. Nix Build Farm
  12. RefactorErl
  13. ConGu
  14. CodeCity
  15. CScout

Tools featured in the IEEE Software guest column "Tool Building on the Shoulders of Others" are highlighed.

Last changed by admin on 21 April 2009