Cargando…
Relational Differential Dynamic Logic
In the field of quality assurance of hybrid systems, Platzer’s differential dynamic logic (dL) is widely recognized as a deductive verification method with solid mathematical foundations and sophisticated tool support. Motivated by case studies provided by our industry partner, we study a relational...
Autores principales: | Kolčák, Juraj, Dubut, Jérémy, Hasuo, Ichiro, Katsumata, Shin-ya, Sprunger, David, Yamada, Akihisa |
---|---|
Formato: | Online Artículo Texto |
Lenguaje: | English |
Publicado: |
2020
|
Materias: | |
Acceso en línea: | https://www.ncbi.nlm.nih.gov/pmc/articles/PMC7439732/ http://dx.doi.org/10.1007/978-3-030-45190-5_11 |
Ejemplares similares
-
Generalized Bounded Linear Logic and its Categorical Semantics
por: Fukihara, Yōji, et al.
Publicado: (2021) -
Graded Hoare Logic and its Categorical Semantics
por: Gaboardi, Marco, et al.
Publicado: (2021) -
Reconciling qualitative, abstract, and scalable modeling of biological networks
por: Paulevé, Loïc, et al.
Publicado: (2020) -
Publisher Correction: Reconciling qualitative, abstract, and scalable modeling of biological networks
por: Paulevé, Loïc, et al.
Publicado: (2020) -
Coalgebraic methods in computer science: 13th IFIP WG 1. 3 international workshop, CMCS 2016, colocated with ETAPS 2016, Eindhoven, The Netherlands, April 2-3, 2016, revised selected papers
por: Hasuo, Ichiro
Publicado: (2016)