Skip to main content
Chuyang Chen's Blog
About
Categories
Tags
Archive
Posts
Notes on
Model Checking
1: Kripke Structure
Jun 18, 2022
https://blog.cychen.xyz/posts/notes-on-model-checking-1/
Chuyang Chen
notes
#software testing
#software verification
#model theory
#mathematical logic