-
Toward convergence of the variational mass expansion in asymptotically free t...
We re-examine a modification of perturbative expansions, valid for asymptotically free theories, producing "variationally improved" expansions of physical quantities... -
La logique à la croisée des chemins : la controverse Goblot-Rougier sur la na...
International audience -
CoLoR: a Coq library on rewriting and termination
International audience -
Formal and Incremental Construction of Distributed Algorithms: On the Distrib...
The development of distributed algorithms and, more generally, distributed systems, is a complex, delicate and challenging process. Refinement techniques of (system)... -
Proving dynamic properties in B
The properties that we would like to express on data-intensive applications cannot be limited to static properties, called invariance properties, which depend on... -
Modeling of the defining activity in mathematics and of its dialectic with th...
This text proposes an epistemological modeling of the mathematical defining activity, and highlights the links between defining and proving. The goals are also... -
Event-B based approach for verifying dynamic composite service transactional ...
International audience -
Parallélisation d'une simulation Monte Carlo d'un système de spins et preuve
Colloque avec actes et comité de lecture. -
Formal engineering of the bitonic sort using pvs
Colloque avec actes et comité de lecture. -
An experiment in parallelizing an application using formal methods
Colloque avec actes et comité de lecture. -
Always and Eventually in Object Requirements
Colloque avec actes et comité de lecture. -
Fair Objects
Colloque avec actes et comité de lecture. -
Integrating decision procedures in Spike
Rapport interne. -
Mechanical Verification of an Ideal Incremental ABR Conformance Algorithm
Colloque avec actes et comité de lecture. internationale. -
Pliage et récurrence pour le construction de programme
Rapport interne. -
Aide à la preuve et à la validation en programmation par règles
Stage de DEA. Rapport de stage.
