diff --git a/_posts/2020-04-29-toward-modular-network-verification.md b/_posts/2020-04-29-toward-modular-network-verification.md index de7a1e9..96c3ef7 100644 --- a/_posts/2020-04-29-toward-modular-network-verification.md +++ b/_posts/2020-04-29-toward-modular-network-verification.md @@ -3,7 +3,7 @@ layout: post title: "Toward modular network verification" authors: [todd] categories: [research, network, verification] -image: assets/images/jigsaw.jpg +image: assets/images/jigsaw.png tags: [] ---