Latticed $k$-Induction and Probabilistic Programs

Mingshuai Chen
Apr 18, 2021
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.

pulp fictions uncertainty probabilistic programs $k$-induction
Mingshuai Chen
Mingshuai Chen
ZJU100 Young Professor

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