| HAL-Inria | Publications, software ... of Inria's scientists |
Conference papers
Parallel Composition and Modular Verification of Computer Controlled Systems in Differential Dynamic Logic
Simon Lunel
1
Stefan Mitsch
2
Benoît Boyer
3
Jean-Pierre Talpin
1
1
TEA - Tim, Events and Architectures
Inria Rennes – Bretagne Atlantique , IRISA-D4 - LANGAGE ET GÉNIE LOGICIEL
Simon Lunel 1
Author
Stefan Mitsch 2
Author
Benoît Boyer 3
Author Employer institution : Institut National de Recherche en Informatique et en Automatique
Jean-Pierre Talpin 1
Author Employer institution : Institut National de Recherche en Informatique et en Automatique IdHAL : jean-pierretalpin ORCID : https://orcid.org/0000-0002-0556-4265
1
TEA - Tim, Events and Architectures (Campus de Beaulieu 35042 Rennes cedex - France)
- Inria Rennes – Bretagne Atlantique (Campus de beaulieu
35042 Rennes cedex - France)
- Inria - Institut National de Recherche en Informatique et en Automatique (Domaine de Voluceau Rocquencourt - BP 105 78153 Le Chesnay Cedex - France)
- IRISA-D4 - LANGAGE ET GÉNIE LOGICIEL (France)
- IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires (Avenue du général Leclerc
Campus de Beaulieu
35042 RENNES CEDEX - France)
- UR1 - Université de Rennes 1 (2 rue du Thabor - CS 46510 - 35065 Rennes cedex - France)
- UNIV-RENNES - Université de Rennes (France)
- INSA Rennes - Institut National des Sciences Appliquées - Rennes (20, avenue des Buttes de Coësmes - CS 70839 - 35708 Rennes cedex 7 - France)
- UBS - Université de Bretagne Sud (BP 92116 - 56321 Lorient cedex - France)
- ENS Rennes - École normale supérieure - Rennes (Campus de Ker Lann - avenue Robert Schuman - 35170 Bruz - France)
- Inria - Institut National de Recherche en Informatique et en Automatique (Domaine de Voluceau Rocquencourt - BP 105 78153 Le Chesnay Cedex - France)
- CentraleSupélec (3, rue Joliot Curie, Plateau de Moulon, 91192 GIF-SUR-YVETTE Cedex - France)
- CNRS - Centre National de la Recherche Scientifique : UMR6074 (France)
- IMT Atlantique - IMT Atlantique Bretagne-Pays de la Loire (Campus Brest : Technopôle Brest-Iroise CS 8381829238 BREST Cedex 3 -
Campus Nantes : 4, rue Alfred Kastler- La chantrerie 44300 NANTES -
Campus Rennes : 2 Rue de la Châtaigneraie, 35510 CESSON SEVIGNE - France)
- IMT - Institut Mines-Télécom [Paris] (37-39 Rue Dareau, 75014 Paris - France)
- UR1 - Université de Rennes 1 (2 rue du Thabor - CS 46510 - 35065 Rennes cedex - France)
- IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires (Avenue du général Leclerc
Campus de Beaulieu
35042 RENNES CEDEX - France)
2
CMU - Carnegie Mellon University [Pittsburgh] (5000 Forbes Ave, Pittsburgh, PA 15213 - United States)
3
MERCE-France - Mitsubishi Electric R&D Centre Europe [France] (1, allée de Beaulieu CS 10806 35708 RENNES CEDEX 7 - France)
- Mitsubishi Electric [France] (France)
Document type :
Conference papers
Domain :
Complete list of metadata
https://hal.inria.fr/hal-02193642
Contributor : Jean-Pierre Talpin <>
Submitted on : Wednesday, July 24, 2019 - 3:50:27 PM
Last modification on : Friday, January 8, 2021 - 3:40:38 AM
Contributor : Jean-Pierre Talpin <>
Submitted on : Wednesday, July 24, 2019 - 3:50:27 PM
Last modification on : Friday, January 8, 2021 - 3:40:38 AM
Links full text
Identifiers
- HAL Id : hal-02193642, version 1
- ARXIV : 1907.02881
Collections
UNIV-RENNES1 | CNRS | CENTRALESUPELEC | IRISA | INRIA | UNIV-RENNES | UR1-UFR-ISTIC | INSA-RENNES
Citation
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⟩
Metrics
Record views