updated article date + minor change in conclusio

Author: Thomas Fenz

_posts/2020-06-24-aalwines.md _posts/2020-07-08-aalwines.md_posts/2020-06-24-aalwines.md renamed to _posts/2020-07-08-aalwines.md

@@ -109,8 +109,7 @@ We refer to our [tool website](https://aalwines.cs.aau.dk/) as well as to our
 [project website](https://github.com/DEIS-Tools/AalWiNes).
 
 ## Conclusion and future work
-
-We consider providing a low runtime critical for the success of network verification, 
+We consider providing a low runtime that is critical for the success of network verification, 
 and reasoning about failures seems particularly challenging. 
 While not every network may allow for a polynomial-time analysis,
 we see much potential in automata-theoretic approaches,