Login
EN
[EN] English
[FR] Français
Login
EN
[EN] English
[FR] Français
Give us feedback
Search and explore
Search
Explore ORBilu
Open Science
Open Science
Open Access
Research Data Management
Definitions
OS Working group
Webinars
Statistics
Help
User Guide
FAQ
Publication list
Document types
Reporting
Training
ORCID
About
About ORBilu
Deposit Mandate
ORBilu team
Impact and visibility
About statistics
About metrics
OAI-PMH
Project history
Legal Information
Data protection
Legal notices
Back
Home
Detailed Reference
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 (1)
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
X
Linkedin
copy to clipboard
copied
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
247 (60 by Unilu)
Number of downloads
756 (47 by Unilu)
More statistics
Scopus citations
®
49
Scopus citations
®
without self-citations
28
OpenCitations
32
OpenAlex citations
57
WoS citations
™
39
Bibliography
Similar publications
Contact ORBilu