output
20172026
most citedParallel Composition and Modular Verification of Computer Controlled Systems in Differential Dynamic Logic

14 citations

researchers with a paper here
collaborating institutions
Showing cs.FLShow all

1 paper · 1 filter

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…