Pragmadev
modeling and testing toolsPragmaDev has always focused on standard formal modeling technologies in its set of tools. A formal technology allows to design complete and unambiguous models, necessary to address the issues brought by the multiplication of communicating systems.
