Latticed $k$-Induction and Probabilistic Programs

Image credit: Arnie Levin

“Induction is a process of inference; it proceeds from the known to the unknown.”

John S. Mill, 1806 – 1873

A blog post (in Chinese) for this publication.

Mingshuai Chen
Mingshuai Chen
ZJU100 Young Professor

My research interests include formal verification, programming theory, and logical aspects of computer science.