Formally Verified Differential Dynamic Logic

Bohrer, Brandon; Rahli, Vincent; Vukotic, Ivana; Volp, Marcus; Platzer, Andre

doi:10.1145/3018610.3018616

Download

Paper published in a book (Scientific congresses, symposiums and conference proceedings)

Formally Verified Differential Dynamic Logic

Bohrer, Brandon; Rahli, Vincent; Vukotic, Ivana et al.

2017 • In CPP 2017

Peer reviewed

Permalink
https://hdl.handle.net/10993/29216

DOI
10.1145/3018610.3018616

Files Send to Details Statistics Bibliography Similar publications

Files

Full Text

verified-dL-CPP-preprint-2016-11-29.pdf

Author preprint (364.7 kB)

Download

All documents in ORBilu are protected by a user license.

Send to

RIS BibTex APA Chicago Permalink Twitter Linkedin

Details

Disciplines :

Computer science

Author, co-author :

Bohrer, Brandon; Carnegie Mellon University > Computer Science

Rahli, Vincent ; University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT)

Vukotic, Ivana ; University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT)

Volp, Marcus ; University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT)

Platzer, Andre; Carnegie Mellon Univerity > Computer Science

External co-authors :

yes

Language :

English

Title :

Formally Verified Differential Dynamic Logic

Publication date :

2017

Event name :

ACM Sigplan Conference on Certified Programs and Proofs (CPP 2017)

Event date :

from 16-01-2017 to 17-01-2017

Main work title :

CPP 2017

Peer reviewed :

Peer reviewed

Focus Area :

Computational Sciences

FnR Project :

FNR8149128 - Strategic Rtnd Program On Information Infrastructure Security And Dependability, 2014 (01/01/2015-31/12/2021) - Marcus Völp

Available on ORBilu :

since 02 January 2017

Statistics

Number of views

222 (60 by Unilu)

Number of downloads

745 (47 by Unilu)

More statistics

Scopus citations^®

Scopus citations^®
without self-citations

OpenCitations

WoS citations^™