Change date for 2.0 blog

ratulm · web-flow · commit 0324be43cceb · 2020-12-15T08:57:59.000-08:00
diff --git a/_posts/2020-12-15-network-verification-2-0.md b/_posts/2020-12-15-network-verification-2-0.md
@@ -46,4 +46,4 @@ Finally, we should look toward intermediate verification languages such as Roset
 
 ## Summary
 
-The next generation of network verification research must enable broad use of verification tools such that all networks are rigorously analyzed and they become indispensable to engineers like ping and traceroute are today.  We can achieve this goal by making the tools more accessible to engineers on the ground and easy to extend to adjacent functionality.  Solving these challenges will radically improve the security and reliability of the networking infrastructure that is critical to modern society.   
+The next generation of network verification research must enable broad use of verification tools such that all networks are rigorously analyzed and they become indispensable to engineers like ping and traceroute are today.  We can achieve this goal by making the tools more accessible to engineers on the ground and easy to extend to adjacent functionality.  Solving these challenges will radically improve the security and reliability of the networking infrastructure that is critical to modern society.   

Original file line number	Diff line number	Diff line change
`@@ -46,4 +46,4 @@ Finally, we should look toward intermediate verification languages such as Roset`
`46`	`46`
`47`	`47`	`## Summary`
`48`	`48`
`49`		-The next generation of network verification research must enable broad use of verification tools such that all networks are rigorously analyzed and they become indispensable to engineers like ping and traceroute are today. We can achieve this goal by making the tools more accessible to engineers on the ground and easy to extend to adjacent functionality. Solving these challenges will radically improve the security and reliability of the networking infrastructure that is critical to modern society.
	`49`	+The next generation of network verification research must enable broad use of verification tools such that all networks are rigorously analyzed and they become indispensable to engineers like ping and traceroute are today. We can achieve this goal by making the tools more accessible to engineers on the ground and easy to extend to adjacent functionality. Solving these challenges will radically improve the security and reliability of the networking infrastructure that is critical to modern society.