Formal Specifications Investigated: A Classification and Analysis of Annotations for Deductive Verifiers (FormaliSE 2022)

Who

Sophie Lathouwers, Marieke Huisman

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

Wed 18 May 2022 11:15 - 11:45 at FormaliSE room - Session 1 Chair(s): Mieke Massink

Sophie Lathouwers

Marieke Huisman

University of Twente

Netherlands

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

Wed 18 May
Displayed time zone: Eastern Time (US & Canada) change

10:30 - 11:45	Session 1FormaliSE at FormaliSE room Chair(s): Mieke Massink CNR-ISTI Pisa, Italy

10:30 30m Paper		Formal Modeling and Verification of Multi-Robot Interactive Scenarios in Service Settings FormaliSE Livia Lestingi DEIB, Politecnico di Milano, Giorgio Romeo , Cristian Sbrolli Politecnico di Milano, Pasquale Scarmozzino , Marcello M. Bersani Politecnico di Milano, Matteo Rossi Politecnico di Milano
11:05 5m Talk		Counterexample-Guided Inductive Repair of Reactive Contracts FormaliSE Soha Hussein University of Minnesota, USA / Ain Shams University, Egypt, Sanjai Rayadurgam University of Minnesota, Stephen McCamant University of Minnesota, USA, Vaibhav Sharma Amazon, Mats Heimdahl University of Minnesota
11:15 30m Paper		Formal Specifications Investigated: A Classification and Analysis of Annotations for Deductive Verifiers FormaliSE Sophie Lathouwers , Marieke Huisman University of Twente

Information for Participants

Wed 18 May 2022 10:30 - 11:45 at FormaliSE room - Session 1 Chair(s): Mieke Massink

Info for room FormaliSE room:

Click here to go to the room on Midspace