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…