LARA

In addition to the research community, target groups and end users include

  • developers and designers of software, hardware, and embedded systems;
  • educators;
  • industrial organizations;
  • students;
  • general public.

Developers and designers of computer systems will directly benefit from the sophisticated tools in the Rich-Model Toolkit developed in the course of the Action. These tools will detect errors in designs and implementations, repair errors, and synthesize new implementations from specifications. The developers using such tools will be more productive and will be able to focus more on the creative aspect of their work.

The educators will be able to motivate and illustrate the theory of reasoning about computer systems through working tools usable by students, and concrete examples from the practice.

Industry will be able to use the tools in the toolkit in system development, increasing the competitiveness and reducing the cost. Moreover, unified formats and new algorithms resulting from the Action will provide guidance for technology transfer, enabling the development of a new generation of industrial tool products based on the principles of Rich-Model Toolkit.