Model Verification Through Dependency Graphs (SPIN 2019 - 26th International SPIN Symposium on Model Checking of Software)

Write a Blog >>

Mon 15 - Fri 19 July 2019 Beijing, China

co-located with ISSTA 2019

Track

SPIN 2019 26th International SPIN Symposium on Model Checking of Software

Time Zone

The program is currently displayed in (GMT+08:00) Beijing, Chongqing, Hong Kong, Urumqi.

Use conference time zone: (GMT+08:00) Beijing, Chongqing, Hong Kong, UrumqiSelect 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

Tue 16 Jul 2019 09:00 - 10:00 at Meeting Room 4 - Session 1 - Invited Talk

Time Zone

The program is currently displayed in (GMT+08:00) Beijing, Chongqing, Hong Kong, Urumqi.

Use conference time zone: (GMT+08:00) Beijing, Chongqing, Hong Kong, UrumqiSelect 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

Tue 16 Jul
Displayed time zone: Beijing, Chongqing, Hong Kong, Urumqi change

09:00 - 10:00	Session 1 - Invited Talk26th International SPIN Symposium on Model Checking of Software at Meeting Room 4

09:00 60m Talk		Model Verification Through Dependency Graphs 26th International SPIN Symposium on Model Checking of Software Kim Guldstrand Larsen

Model Verification Through Dependency Graphs

Program Display Configuration

Program Display Configuration

Tue 16 JulDisplayed time zone: Beijing, Chongqing, Hong Kong, Urumqi change

Kim Guldstrand Larsen

Tue 16 Jul
Displayed time zone: Beijing, Chongqing, Hong Kong, Urumqi change