# Name Short description Dev. years Web
1 DLTS tool for measuring the similarity of non-bisimilar LTSs 2017-
2 VBPMN framework for verifying BPMN processes 2015-2018 link
3 STABC tool for analyzing asynchronously communicating automata 2014-2016 link
4 VerChor framework for verifying choreographies 2011-2014 link
5 pic2lnt translator from the pi-calculus to LNT 2010-2013 link
6 ITACA Integrated Toolbox for Automatic Composition and Adaptation 2007-2009 link
7 cd2lotos realizability of collaboration diagrams by encoding into LOTOS 2008
8 (D)Compositor centralised and distributed adaptation via process algebra encodings
integrated to ITACA
2007-2008
9 Clint composition language interpreter 2007 link
10 Adaptor model-based software adaptation 2006-2007 link
11 fsp2lotos translator from FSP to LOTOS
integrated to CADP
2005-2006 link
12 chp2lotos translator from CHP to LOTOS 2004-2006
13 xCLAP edition and animation of extended state diagrams 1999-2003
14 ISA tool for integrated specifications animation 2002
15 CLAP class library for automata in Python 1999