FP4Индивидуална стипендия1999

Nu-calculus and applications

4РП — Обучение и мобилност на изследователи

Период: 1999-02-01 → 1999-07-31
Финансиране от ЕС: —
Участници: 1
Схема: RGI

Линиите свързват координатора с партньорите.

Накратко на български

Мю-изчислението е логически език, който помага да се провери дали сложни компютърни системи работят правилно. Анализът на неговата изчислителна сложност помага за създаването на по-бързи алгоритми за проверка на индустриални системи.

Този кратък обзор е генериран от изкуствен интелект

Кратко обяснение, генерирано от езиков модел по текста на CORDIS. Оригиналът е по-долу.

Цел на проекта

Research objectives and content The 'Mu-Calculus' is a powerful logic capable of expressing least and greetest fixpoints of monotone functions. It is widely used in the industrial development of concurent systems. The 'Model-checking problem' is that of deciding whether a Mu-calculus formula is true in a finite state system (at a given point), and hence it has theoretical and practical relevance. My goal is of studying the computational complexity of this problem. Training content (objective, benefit and expected impact) An efficient 'model-checken' (i.e. model checking algorithms) would be very useful in the activity of verifying correctness properties of real (industrial) systems. Links with industry / industrial relevance (22) See above

Оригинален текст от CORDIS (на английски).

Участници

UNIVERSITE DE BORDEAUX I · TALENCEКоординаторФранция

Връзки

Виж в CORDIS