EasyChair Smart SlideDocs/Log in
Author: Bohua Zhan

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

Compositional Verification of Interacting Systems Using Event Monads

Compositional Verification of Interacting Systems Using Event Monads

Bohua Zhan, Yi Lv, Shuling Wang, Gehang Zhao, Jifeng Hao, Ye Hong and Bican Xia

(Invited) User Interface Design in the HolPy Theorem Prover

(Invited) User Interface Design in the HolPy Theorem Prover

Bohua Zhan

NIL: Learning Nonlinear Interpolants

NIL: Learning Nonlinear Interpolants

Mingshuai Chen, Jian Wang, Jie An, Bohua Zhan, Deepak Kapur and Naijun Zhan

Verifying Asymptotic Time Complexity of Imperative Programs in Isabelle

Verifying Asymptotic Time Complexity of Imperative Programs in Isabelle

Bohua Zhan and Maximilian Paul Louis Haslbeck

Presentations in this collection: 4
Copyright © 2002 – 2025 EasyChair