StateSoft








       LIBERATION from Systems Behavior Programming and Validation
StateSoft's LIBERATIONTM set of tools fully embraces Model Driven Architecture's (MDA) principle of PIM/PSM class partition, as a foundation for the systematic engineering of: components, patterns, services and applications.

LIBERATIONTM frees software professionals and engineers from systems behavior programming and manual system validation. This leads to  shortening of the overall project development interval  while reducing development and maintenance cost.

VeUML based MDA Platform Independent Models (PIM) are truly independent from programming language, database, and the operating system platform used.

The LIBERATIONTM set of tools for the first time allows generation from VeUML model  system behavior executable representation identical in C, C++, and Java environments to maximize reuse. 

Applications and services built using VeUML models can be validated automatically for important systems properties like security and safety. 

VeUML uses unique patented Virtual Finite State Machines (VFSM) for intuitive behavior modeling allowing to create and validate top reliability software systems in orders of magnitude more complex than with any other  modeling approach.



For more information regarding the LIBERATIONTM set of tools please contact support@statesoft.org using our Contact page.