A Toolkit for Automated Testing of Dafny (NASA Formal Methods 2023 - NFM 2023)

Who

Aleksandr Fedchin, Tyler Dean, Jeffrey S. Foster, Eric Mercer, Zvonimir Rakamaric, Giles Reger, Neha Rungta, Robin Salkeld, Lucas Wagner, Cassidy Waldrip

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:50 - 17:15 - Software Verification Chair(s): Perry Alexander

Aleksandr Fedchin

Tufts University

United States

Tyler Dean

Brigham Young University

United States

Jeffrey S. Foster

Tufts University

United States

Eric Mercer

Brigham Young University

United States

Zvonimir Rakamaric

Amazon Web Services

Giles Reger

University of Manchester

United Kingdom

Neha Rungta

Amazon Web Services

United States

Robin Salkeld

Amazon Web Services

United States

Lucas Wagner

Amazon Web Services

United States

Cassidy Waldrip

Brigham Young University

United States

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