A Cooperative Parallelization Approach for Property-Directed k-Induction (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

Martin Blicha, Antti Hyvärinen, Matteo Marescotti, Natasha Sharygina

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 16:07 - 16:40 at St Jerome - Papers 5 Chair(s): Nikolaj Bjørner

Martin Blicha

Università della Svizzera italiana

Switzerland

Antti Hyvärinen

Università della Svizzera Italiana

Switzerland

Matteo Marescotti

Università della Svizzera Italiana

Switzerland

Natasha Sharygina

USI Lugano, Switzerland

Switzerland

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