Deutsch
 
Hilfe Datenschutzhinweis Impressum
  DetailsucheBrowse

Datensatz

DATENSATZ AKTIONENEXPORT
 
 
DownloadE-Mail
 Lokale TagsFreigabegeschichteDetailsÜbersicht
  A Parametric Rely-Guarantee Reasoning Framework for Concurrent Reactive Systems

Zhao, Y., Sanán, D., Zhang, F., & Liu, Y. (2019). A Parametric Rely-Guarantee Reasoning Framework for Concurrent Reactive Systems. In M. H. ter Beek, A. McIver, & J. N. Oliveira (Eds.), Formal Methods - The Next 30 Years (pp. 161-178). Cham: Springer. doi:10.1007/978-3-030-30942-8_11.

Item is

 

einblenden: alle ausblenden: alle

Basisdaten

einblenden: ausblenden:
Datensatz-Permalink: https://hdl.handle.net/21.11116/0000-0006-065B-E Versions-Permalink: https://hdl.handle.net/21.11116/0000-0006-065C-D
Genre: Konferenzbeitrag

Externe Referenzen

einblenden:

Urheber

einblenden:
ausblenden:
 Urheber:
Zhao, Yongwang1, Autor
Sanán, David1, Autor
Zhang, Fuyuan2, Autor           
Liu, Yang1, Autor
Affiliations:
1External Organizations, ou_persistent22              
2Group M. Christakis, Max Planck Institute for Software Systems, Max Planck Society, ou_2541696              

Inhalt

einblenden:
ausblenden:
Schlagwörter: -
 Zusammenfassung: When compared to idealized, real-valued arithmetic, finite precision arithmetic introduces unavoidable errors, for which numerous tools compute sound upper bounds. To ensure soundness, providing formal guarantees on these complex tools is highly valuable.

Details

einblenden:
ausblenden:
Sprache(n): eng - English
 Datum: 20192019
 Publikationsstatus: Erschienen
 Seiten: -
 Ort, Verlag, Ausgabe: -
 Inhaltsverzeichnis: -
 Art der Begutachtung: -
 Identifikatoren: BibTex Citekey: Zhao_FM2019
DOI: 10.1007/978-3-030-30942-8_11
 Art des Abschluß: -

Veranstaltung

einblenden:
ausblenden:
Titel: 23rd Symposium on Formal Method
Veranstaltungsort: Porto, Portugal
Start-/Enddatum: 2019-10-07 - 2019-10-11

Entscheidung

einblenden:

Projektinformation

einblenden:

Quelle 1

einblenden:
ausblenden:
Titel: Formal Methods - The Next 30 Years
  Untertitel : Maurice H. ter BeekAnnabelle McIverJosé N. Oliveira (Eds.)Third World Congress, FM 2019Porto, Portugal, October 7–11, 2019Proceedings
  Kurztitel : FM 2019
Genre der Quelle: Konferenzband
 Urheber:
ter Beek, Maurice H.1, Herausgeber
McIver, Annabelle1, Herausgeber
Oliveira, José N.1, Herausgeber
Affiliations:
1 External Organizations, ou_persistent22            
Ort, Verlag, Ausgabe: Cham : Springer
Seiten: - Band / Heft: - Artikelnummer: - Start- / Endseite: 161 - 178 Identifikator: ISBN: 978-3-030-30942-8

Quelle 2

einblenden:
ausblenden:
Titel: Lecture Notes in Computer Scinece
  Kurztitel : LNCS
Genre der Quelle: Reihe
 Urheber:
Affiliations:
Ort, Verlag, Ausgabe: -
Seiten: - Band / Heft: 11800 Artikelnummer: - Start- / Endseite: - Identifikator: -