Nu-calculus and applications
FP4 — Training and Mobility of Researchers
- Duration
- 1999-02-01 → 1999-07-31
- EU contribution
- —
- Participants
- 1
- Scheme
- RGI
Lines connect the coordinator with its partners.
Project objective
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
Original text from CORDIS.
Participants
- UNIVERSITE DE BORDEAUX I · TALENCECoordinatorFrance
Links
Data: CORDIS, © European Union