Stéphane Kastenbaum

According to our database, Stéphane Kastenbaum authored at least 3 papers between 2021 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2023

On the mechanized verification of the meta-theory of contracts and its instantiation to differential dynamic logic. (Sur la vérification mécanisée de la méta-théorie des contrats et son instanciation à la logique dynamique différentielle).

Stéphane Kastenbaum

PhD thesis, 2023

Towards an Independent Version of Tarski's System of Geometry.

Pierre Boutry, Stéphane Kastenbaum, Clément Saintier

Proceedings of the Proceedings 14th International Conference on Automated Deduction in Geometry, 2023

2021

A Mechanically Verified Theory of Contracts.

Stéphane Kastenbaum, Benoît Boyer, Jean-Pierre Talpin

Proceedings of the Theoretical Aspects of Computing - ICTAC 2021, 2021