Condition Synthesis Realizability via Constrained Horn Clauses (NASA Formal Methods 2023 - NFM 2023)

Who

Bat-Chen Rothenberg, Orna Grumberg, Yakir Vizel, Eytan Singher

Track

NASA Formal Methods 2023 NFM

Time Zone

The program is currently displayed in (GMT-05:00) Central Time (US & Canada).

Use conference time zone: (GMT-05:00) Central Time (US & Canada)Select other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Save

When

Wed 17 May 2023 16:25 - 16:50 - Software Verification Chair(s): Perry Alexander

Bat-Chen Rothenberg

Technion

Israel

Orna Grumberg

Technion – Israel Institute of Technology

Israel

Yakir Vizel

Technion—Israel Institute of Technology

Israel

Eytan Singher

Technion - Israel Institute of Technology

Israel

Time Zone

The program is currently displayed in (GMT-05:00) Central Time (US & Canada).

Use conference time zone: (GMT-05:00) Central Time (US & Canada)Select other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

Display full programSpecify a time band

Save

Session Program

Wed 17 May
Displayed time zone: Central Time (US & Canada) change

16:00 - 17:40	Software VerificationNFM 2023 Chair(s): Perry Alexander

16:00 25m Talk		Verified ALL(*) Parsing with Semantic Actions and Dynamic Input Validation NFM 2023 Sam Lasser Draper, Chris Casinghino Jane Street, Derek Egolf Northeastern University, Kathleen Fisher Tufts University, Cody Roux Amazon Web Services
16:25 25m Talk		Condition Synthesis Realizability via Constrained Horn Clauses NFM 2023 Bat-Chen Rothenberg Technion, Orna Grumberg Technion – Israel Institute of Technology, Yakir Vizel Technion—Israel Institute of Technology, Eytan Singher Technion - Israel Institute of Technology
16:50 25m Talk		A Toolkit for Automated Testing of Dafny NFM 2023 Aleksandr Fedchin Tufts University, Tyler Dean Brigham Young University, Jeffrey S. Foster Tufts University, Eric Mercer Brigham Young University, Zvonimir Rakamaric Amazon Web Services, Giles Reger University of Manchester, Neha Rungta Amazon Web Services, Robin Salkeld Amazon Web Services, Lucas Wagner Amazon Web Services, Cassidy Waldrip Brigham Young University
17:15 25m Talk		Automata-Based Software Model Checking of Hyperproperties NFM 2023 Bernd Finkbeiner CISPA Helmholtz Center for Information Security, Hadar Frenkel CISPA Helmholtz Center for Information Security, Jana Hofmann Microsoft Azure Research, Janine Lohse Saarland University Pre-print