Extends dL with parallel composition semantics and techniques for automating safety proofs from modular component proofs parameterized by timing characteristics.
The complete proof theory of hybrid syst ems
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
cs.LO 1years
2019 1verdicts
UNVERDICTED 1representative citing papers
citing papers explorer
-
Parallel Composition and Modular Verification of Computer Controlled Systems in Differential Dynamic Logic
Extends dL with parallel composition semantics and techniques for automating safety proofs from modular component proofs parameterized by timing characteristics.