iPlasma was successfully used for analyzing the design of more than ten real-world,
industrial systems including very large open-source systems
(>1 MLOC), like Mozilla (C++, 2.56 million LOC) and Eclipse, (Java,
1.36 million LOC). iPlasma was also used during several consultancy
activities for industrial partners, most of them involved in developing
large software applications for telecom systems.
The iPlasma environment can be downloaded at http://loose.upt.ro/iplasma/iplasma.zip