EasyChair Smart SlideDocs/Log in
Author: Sepideh Asadi

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

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: 2
Copyright © 2002 – 2024 EasyChair