Cheap CTL Compassion in NuSMV (VMCAI 2020 - - 21st International Conference on Verification, Model Checking, and Abstract Interpretation)

Write a Blog >>

Sun 19 - Sat 25 January 2020 New Orleans, Louisiana, United States

Who

Daniel Hausmann, Tadeusz Litak, Christoph Rauch, Matthias Zinner

Track

VMCAI 2020

Time Zone

The program is currently displayed in (GMT-06:00) Saskatchewan, Central America.

Use conference time zone: (GMT-06:00) Saskatchewan, Central AmericaSelect 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

Mon 20 Jan 2020 15:35 - 16:07 at St Jerome - Papers 5 Chair(s): Nikolaj Bjørner

Daniel Hausmann

Friedrich-Alexander-Universität Erlangen-Nürnberg

Germany

Tadeusz Litak

FAU Erlangen-Nuremberg, INF 8

Germany

Christoph Rauch

FAU Erlangen-Nürnberg, Lehrstuhl 8

Germany

Matthias Zinner

FAU Erlangen-Nürnberg

Germany

Time Zone

The program is currently displayed in (GMT-06:00) Saskatchewan, Central America.

Use conference time zone: (GMT-06:00) Saskatchewan, Central AmericaSelect 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

Mon 20 Jan
Displayed time zone: Saskatchewan, Central America change

15:35 - 17:45	Papers 5VMCAI at St Jerome Chair(s): Nikolaj Bjørner Microsoft Research

15:35 32m Talk		Cheap CTL Compassion in NuSMV VMCAI Daniel Hausmann Friedrich-Alexander-Universität Erlangen-Nürnberg, Tadeusz Litak FAU Erlangen-Nuremberg, INF 8, Christoph Rauch FAU Erlangen-Nürnberg, Lehrstuhl 8, Matthias Zinner FAU Erlangen-Nürnberg
16:07 32m Talk		A Cooperative Parallelization Approach for Property-Directed k-Induction VMCAI Martin Blicha Università della Svizzera italiana, Antti Hyvärinen Università della Svizzera Italiana, Matteo Marescotti Università della Svizzera Italiana, Natasha Sharygina USI Lugano, Switzerland
16:40 32m Coffee break		Mini Break VMCAI
17:12 32m Talk		Generalized Property-Directed Reachability for Hybrid Systems VMCAI Kohei Suenaga Graduate School of Informatics, Kyoto University, Takuya Ishizawa Kyoto University Link to publication Pre-print