SPLASH 2020 (series) / SAS 2020 (series) / SAS 2020 - 27th Static Analysis Symposium /
Predicate Abstraction and CEGAR for nuHFL(Z) Validity Checking
Fri 20 Nov 2020 03:40 - 04:00 at SPLASH-III - 9 Chair(s): Jerome Feret
Thu 19 Nov 2020 15:40 - 16:00 at SPLASH-III - 9 Chair(s): Kwangkeun Yi
Thu 19 Nov 2020 15:40 - 16:00 at SPLASH-III - 9 Chair(s): Kwangkeun Yi
preprint (sas20.pdf) | 446KiB |
Thu 19 Nov Times are displayed in time zone: Central Time (US & Canada) change
Thu 19 Nov
Times are displayed in time zone: Central Time (US & Canada) change
15:00 - 16:20 | |||
15:00 20mResearch paper | Counterexample- and Simulation-Guided Floating-Point Loop Invariant SynthesisArtifact SAS Anastasiia IzychevaTechnical University of Munich, Eva DarulovaMPI-SWS, Helmut SeidlTechnische Universität München Pre-print Media Attached | ||
15:40 20mResearch paper | Predicate Abstraction and CEGAR for nuHFL(Z) Validity Checking SAS Naoki IwayamaUniversity of Tokyo, Japan, Naoki KobayashiUniversity of Tokyo, Japan, Ryota Suzuki, Takeshi TsukadaChiba University, Japan File Attached |
Fri 20 Nov Times are displayed in time zone: Central Time (US & Canada) change
Fri 20 Nov
Times are displayed in time zone: Central Time (US & Canada) change
03:00 - 04:20 | |||
03:00 20mResearch paper | Counterexample- and Simulation-Guided Floating-Point Loop Invariant SynthesisArtifact SAS Anastasiia IzychevaTechnical University of Munich, Eva DarulovaMPI-SWS, Helmut SeidlTechnische Universität München Pre-print Media Attached | ||
03:40 20mResearch paper | Predicate Abstraction and CEGAR for nuHFL(Z) Validity Checking SAS Naoki IwayamaUniversity of Tokyo, Japan, Naoki KobayashiUniversity of Tokyo, Japan, Ryota Suzuki, Takeshi TsukadaChiba University, Japan File Attached |