Knowledge Tree

researcher / Claude Marché

Claude Marché

at_id:

orcid_id:

Disciplines:

Computer sciences

Edit Merge See Links

Thesis:

Réécriture modulo une théorie présentée par un système convergent et décidabilité des problèmes du mot dans certaines classes de théories equationnelles

Directed Thesis:

Méthodes et outils pour la spécification et la preuve de propriétés difficiles de programmes séquentiels

Procédures de décision génériques pour des théories axiomatiques du premier ordre

Preuves par raffinement de programmes avec pointeurs

Certification of a Tool Chain for Deductive Program Verification

Taking architecture and compiler into account in formal proofs of numerical programs

Vérification de programmes avec pointeurs à l'aide de régions et de permissions

Automatic modular static safety checking for C programs

Analyse statique et preuve de programmes industriels critiques

Automatisation de la Spécification et de la Vérification d'applications Java Card

Approche incrémentale des preuves automatiques de terminaison