Parallel Composition and Modular Verification of Computer Controlled Systems in Differential Dynamic Logic.

Simon Lunel, Stefan Mitsch, Benot Boyer, Jean-Pierre Talpin

Browse the full FM paper archive.