Update title (#34)

netverify · Nov 28, 2023 · 7a324ce · 7a324ce
1 parent d0a5a4c
commit 7a324ce
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/...ing-networks-safe-and-agile-with-formal-methods-and-programming-abstractions.md b/...ing-networks-safe-and-agile-with-formal-methods-and-programming-abstractions.md
@@ -1,6 +1,6 @@
 ---
 layout: post
-title:  "Making Networks Safe and Agile with Formal Methods and Programming Abstractions"
+title:  "Making Networks Safe and Agile with Formal Methods and Programming Abstractions: Future Directions"
 authors: [nate, arvind, ratul, todd, david, anduo, pamela]
 categories: [formal methods, programming languages]
 image: assets/images/pl-nets.png