Counterexample- and Simulation-Guided Floating-Point Loop Invariant Synthesis

Izycheva, Anastasiia; Darulova, Eva; Seidl, Helmut

doi:10.1007/978-3-030-65474-0_8

Local TagsRelease HistoryDetailsSummary

Counterexample- and Simulation-Guided Floating-Point Loop Invariant Synthesis

Izycheva, A., Darulova, E., & Seidl, H. (2020). Counterexample- and Simulation-Guided Floating-Point Loop Invariant Synthesis. In D. Pichardie, & M. Sighireanu (Eds.), Static Analysis (pp. 156-177). Berlin: Springer. doi:10.1007/978-3-030-65474-0_8.

Item is Released

show all hide all

Basic

show hide

Item Permalink: https://hdl.handle.net/21.11116/0000-0008-7E42-1 Version Permalink: https://hdl.handle.net/21.11116/0000-0008-7E43-0

Genre: Conference Paper

Files

show Files

Locators

show

Creators

show

hide

Creators:
Izycheva, Anastasiia¹, Author
Darulova, Eva², Author
Seidl, Helmut¹, Author

Affiliations:
1External Organizations, ou_persistent22
2Group E. Darulova, Max Planck Institute for Software Systems, Max Planck Society, ou_2541697

Content

show

Details

show

hide

Language(s): eng - English

Dates: Published Online: 2020Date issued: 2020

Publication Status: Issued

Pages: -

Publishing info: -

Table of Contents: -

Rev. Type: -

Identifiers: BibTex Citekey: Izycheva_SAS2020
DOI: 10.1007/978-3-030-65474-0_8

Degree: -

Event

show

hide

Title: 27th International Static Analysis Symposium

Place of Event: Virtual Event

Start-/End Date: 2020-11-18 - 2020-11-20

Legal Case

show

Project information

show

Source 1

show

hide

Title: Static Analysis

Abbreviation : SAS 2020

Subtitle : 27th International Symposium, SAS 2020 ; Virtual Event, November 18–20, 2020 ; Proceedings

Source Genre: Proceedings

Creator(s):
Pichardie, David¹, Editor
Sighireanu, Mihaela¹, Editor

Affiliations:
1 External Organizations, ou_persistent22

Publ. Info: Berlin : Springer

Pages: - Volume / Issue: - Sequence Number: - Start / End Page: 156 - 177 Identifier: ISBN: 978-3-030-65473-3

Source 2

show

hide

Title: Lecture Notes in Computer Science

Abbreviation : LNCS

Source Genre: Series

Creator(s):

Affiliations:

Publ. Info: -

Pages: - Volume / Issue: 12389 Sequence Number: - Start / End Page: - Identifier: -