Knowledge Tree

researcher / Alain Giorgetti

Alain Giorgetti

at_id:

orcid_id:

Disciplines:

Computer sciences

Mechanics

Edit Merge See Links

Directed Thesis:

Vérification formelle de programmes de génération de données structurées

Contribution à la vérification de programmes C par combinaison de tests et de preuves.

Contribution to a kernel of symbolic asymptotic modeling software.

Génération automatique de tests unitaires avec Praspel, un langage de spécification pour PHP

Schematic calculi for the analysis of decision procedures

Classification de menaces d’erreurs par analyse statique, simplification syntaxique et test structurel de programmes

Vérification d'invariants de systèmes paramétrés par superposition