Cookies Policy
The website need some cookies and similar means to function. If you permit us, we will use those means to collect data on your visits for aggregated statistics to improve our service. Find out More
Accept Reject
  • Menu
Description

Constraint-based Specification Repair

The SpecRep projects aims at promoting the correct formal specification of software components, an essential step for the development of reliable software.

Details

Details

  • Acronym

    SpecRep
  • Start

    01st January 2022
  • Global Budget

    49.908,00 €
  • State

    Completed
  • Effective End

    31st December 2023
  • End

    31st December 2023
  • Responsible

    Nuno Moreira Macedo
  • Financing

    49.908,00 €
  • Funded by

Team
002

Associated Centres

HumanISE

Centre

Human-Centered Computing and Information Science

HASLab

Centre

High-Assurance Software