English
 
Help Privacy Policy Disclaimer
  Advanced SearchBrowse

Item

ITEM ACTIONSEXPORT
 
 
DownloadE-Mail
 Local TagsRelease HistoryDetailsSummary
  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

 

show all hide all

Basic

show hide
Item Permalink: https://hdl.handle.net/21.11116/0000-0006-065B-E Version Permalink: https://hdl.handle.net/21.11116/0000-0006-065C-D
Genre: Conference Paper

Files

show Files

Locators

show

Creators

show
hide
 Creators:
Zhao, Yongwang1, Author
Sanán, David1, Author
Zhang, Fuyuan2, Author           
Liu, Yang1, Author
Affiliations:
1External Organizations, ou_persistent22              
2Group M. Christakis, Max Planck Institute for Software Systems, Max Planck Society, ou_2541696              

Content

show
hide
Free keywords: -
 Abstract: 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

show
hide
Language(s): eng - English
 Dates: 20192019
 Publication Status: Issued
 Pages: -
 Publishing info: -
 Table of Contents: -
 Rev. Type: -
 Identifiers: BibTex Citekey: Zhao_FM2019
DOI: 10.1007/978-3-030-30942-8_11
 Degree: -

Event

show
hide
Title: 23rd Symposium on Formal Method
Place of Event: Porto, Portugal
Start-/End Date: 2019-10-07 - 2019-10-11

Legal Case

show

Project information

show

Source 1

show
hide
Title: Formal Methods - The Next 30 Years
  Subtitle : Maurice H. ter BeekAnnabelle McIverJosé N. Oliveira (Eds.)Third World Congress, FM 2019Porto, Portugal, October 7–11, 2019Proceedings
  Abbreviation : FM 2019
Source Genre: Proceedings
 Creator(s):
ter Beek, Maurice H.1, Editor
McIver, Annabelle1, Editor
Oliveira, José N.1, Editor
Affiliations:
1 External Organizations, ou_persistent22            
Publ. Info: Cham : Springer
Pages: - Volume / Issue: - Sequence Number: - Start / End Page: 161 - 178 Identifier: ISBN: 978-3-030-30942-8

Source 2

show
hide
Title: Lecture Notes in Computer Scinece
  Abbreviation : LNCS
Source Genre: Series
 Creator(s):
Affiliations:
Publ. Info: -
Pages: - Volume / Issue: 11800 Sequence Number: - Start / End Page: - Identifier: -