EasyChair Smart SlideDocs/Log in
Author: Jianwen Li

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

SAT-Based Reasoning Techniques for LTL over Finite and Infinite Traces

SAT-Based Reasoning Techniques for LTL over Finite and Infinite Traces

Jianwen Li

SimpleCAR: An Efficient Bug-Finding Tool Based On Approximate Reachability

SimpleCAR: An Efficient Bug-Finding Tool Based On Approximate Reachability

Jianwen Li, Rohit Dureja, Geguang Pu, Kristin Yvonne Rozier and Moshe Vardi

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