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

Simon Lunel; Stefan Mitsch; Benoît Boyer; Jean-Pierre Talpin

Conference Papers Year :

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

(1) , (2) , (3) , (1)

1
2
3

Simon Lunel

Function : Author

Tim, Events and Architectures

Stefan Mitsch

Function : Author

Carnegie Mellon University [Pittsburgh]

Benoît Boyer

Function : Author
PersonId : 847083

Mitsubishi Electric R&D Centre Europe [France]

Jean-Pierre Talpin

Function : Author
PersonId : 742474
IdHAL : jean-pierretalpin
ORCID : 0000-0002-0556-4265
IdRef : 094211515

Tim, Events and Architectures

Domains

Computer Science [cs]

Jean-Pierre Talpin : Connect in order to contact the contributor

https://hal.inria.fr/hal-02193642

Submitted on : Wednesday, July 24, 2019-3:50:27 PM

Last modification on : Friday, November 18, 2022-9:27:33 AM

Dates and versions

hal-02193642 , version 1 (24-07-2019)

Identifiers

HAL Id : hal-02193642 , version 1
ARXIV : 1907.02881

Cite

Simon Lunel, Stefan Mitsch, Benoît Boyer, Jean-Pierre Talpin. Parallel Composition and Modular Verification of Computer Controlled Systems in Differential Dynamic Logic. FM 2019 - 23rd International Symposium on Formal Methods, Oct 2019, Porto, Portugal. pp.1-22. ⟨hal-02193642⟩

Export

BibTeX TEI Dublin Core DC Terms EndNote Datacite

Collections

UNIV-RENNES1 CNRS INRIA INSA-RENNES IRISA CENTRALESUPELEC INRIA2 UR1-MATH-STIC UR1-UFR-ISTIC UNIV-RENNES UR1-MATH-NUM

37 View

0 Download

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

Domains

Dates and versions

Identifiers

Cite

Export

Collections

Altmetric

Share