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.

 

Published Mar. 14, 2011 11:16 AM - Last modified Feb. 7, 2020 3:57 PM

Participants

Detailed list of participants