EasyChair Smart SlideDocs/Log in
Author: Hana Chockler

This page shows all presentations of this author published in EasyChair Smart Slide.

Function Summarization Modulo Theories

Function Summarization Modulo Theories

Sepideh Asadi, Martin Blicha, Grigory Fedyukovich, Antti Hyvärinen, Karine Even-Mendoza, Natasha Sharygina and Hana Chockler

Timed Vacuity

Timed Vacuity

Hana Chockler, Shibashis Guha and Orna Kupferman

Lattice-Based Refinement in Bounded Model Checking

Lattice-Based Refinement in Bounded Model Checking

Karine Even-Mendoza, Sepideh Asadi, Antti Hyvärinen, Hana Chockler and Natasha Sharygina

Presentations in this collection: 3
Copyright © 2002 – 2024 EasyChair