Tools
Links to the presented tools at the workshop:
- Churrasco
- MARPLE
- Hopscotch
- IntensiVE
- mCRL2
- Rigi
- TestQ
- Small Project Observatory
- Primus
- Compose*
- Nix Build Farm
- RefactorErl
- ConGu
- CodeCity
- CScout
Tools featured in the IEEE Software guest column "Tool Building on the Shoulders of Others" are highlighed.