HATS: Highly Adaptable and Trustworthy Software using Formal Models (completed)
HATS stands for Highly Adaptable and Trustworthy Software using Formal Models and is an Integrated Project supported by the 7th Framework Programme of the EC within the FET (Future and Emerging Technologies) scheme.
About the project
The HATS project develops a formal method for the design, analysis, and implementation of highly adaptable software systems that are at the same time characterized by a high demand on trustworthiness. For a comprehensive web-representation of the project, it's goals, particpating partners and results see the official HATS-webpage.