Automatic Loop Invariant Generation for Data Dependence Analysis (FormaliSE 2022)

Who

Asmae Heydari Tabar, Richard Bubel, Reiner Hähnle

Track

FormaliSE 2022

Time Zone

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

Use conference time zone: (GMT-04:00) Eastern 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

Thu 19 May 2022 13:00 - 13:30 at FormaliSE room - Session 4 Chair(s): Claudio Menghi

Asmae Heydari Tabar

Technical University of Darmstadt

Germany

Richard Bubel

Technische Universität Darmstadt

Germany

Reiner Hähnle

Technical University of Darmstadt

Germany

Time Zone

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

Use conference time zone: (GMT-04:00) Eastern 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

Thu 19 May
Displayed time zone: Eastern Time (US & Canada) change

12:00 - 13:30	Session 4FormaliSE at FormaliSE room Chair(s): Claudio Menghi McMaster University, Canada

12:00 30m Paper		Towards Automated Input Generation for Sketching Alloy Models FormaliSE Ana Jovanovic , Allison Sullivan University of Texas at Arlington
12:30 30m Paper		Automating Cryptographic Protocol Language Generation from Structured Specifications FormaliSE Roberto Metere Newcastle University, Luca Arnaboldi The University of Edinburgh
13:00 30m Talk		Automatic Loop Invariant Generation for Data Dependence Analysis FormaliSE Asmae Heydari Tabar Technical University of Darmstadt, Richard Bubel Technische Universität Darmstadt, Reiner Hähnle Technical University of Darmstadt

Information for Participants

Thu 19 May 2022 12:00 - 13:30 at FormaliSE room - Session 4 Chair(s): Claudio Menghi

Info for room FormaliSE room:

Click here to go to the room on Midspace