FP5Индивидуална стипендия2002–2004
SAMIR GENAIM · Property driven design of static program analyses
5РП — Човешки потенциал в науката
- Период
- 2002-10-01 → 2004-09-30
- Финансиране от ЕС
- 123 712 €
- Участници
- 1
- Схема
- RGI
Линиите свързват координатора с партньорите.
Накратко на български
Методите за автоматичен анализ на компютърни програми се изследват, за да се създават инструменти, които откриват грешки в кода според зададени свойства. Това помага за разработването на по-надеждни софтуерни системи чрез по-сигурни начини за проверка на програмите.
Този кратък обзор е генериран от изкуствен интелект
Кратко обяснение, генерирано от езиков модел по текста на CORDIS. Оригиналът е по-долу.
Цел на проекта
Provide systematic methods for designing program analyses that satisfy a given property, and study systematic design methods for abstract interpretation frameworks other than the standard adjoint framework.
Оригинален текст от CORDIS (на английски).
Участници
- UNIVERSITA DEGLI STUDI DI VERONA · VERONAКоординаторИталия
Връзки
Данни: CORDIS, © Европейски съюз