Knowledge Tree

researcher / Radhia Cousot

Radhia Cousot

at_id:

orcid_id:

Disciplines:

Applied sciences

Computer sciences

Edit Merge See Links

Directed Thesis:

Formal and exact reduction for differential models of signalling pathways in rule-based languages

Static analysis by abstract interpretation of functional temporal properties of programs

Analyse statique de logiciels multitâches par interprétation abstraite

Analyse statique de pointeurs et logique de séparation

Vérification de composants VHDL par interprétation abstraite

Analyse statique modulaire de langages orientés objets

Vérification par interprétation abstraite guidée par une propriété temporelle

Analyse statique des systemes dynamiques de graphes dans les langages non types