2 papers
cs.LO2024
Towards an Independent Version of Tarski's System of Geometry
Pierre Boutry, Stéphane Kastenbaum, Clément Saintier
In 1926-1927, Tarski designed a set of axioms for Euclidean geometry which reached its final form in a manuscript by Schwabhäuser, Szmielew and Tarski in 1983. The differences amou…
cs.FL2021
A Mechanically Verified Theory of Contracts
Stéphane Kastenbaum, Benoît Boyer, Jean-Pierre Talpin
Cyber-physical systems (CPS) are assemblies of networked, heterogeneous, hardware, and software components sensing, evaluating, and actuating a physical environment. This heterogen…