Update README.md

Updated README
netgroup-polito · Mar 22, 2023 · 43f52f2 · 43f52f2
1 parent c6254d2
commit 43f52f2
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/README.md b/README.md
@@ -82,7 +82,7 @@ The current version of the Neo4j server is 3.5.25 (Community Edition): it is com
 Kindly note that the regression tests performed on the framework have been executed using the Z3 library versions 4.8.8.
 
 
-## DEMO
+## Demo
 
 You can find a full demonstration of the VEREFOO framework at the following link: https://youtu.be/QCFNLE2gHgE
 
@@ -102,4 +102,4 @@ After running the framework, VEREFOO produces two outputs. On the one hand, it e
 
 ![Firewall Allocation Scheme](./resources/images-demo/FAS.png)
 
-![Firewall Configuration](./resources/images-demo/FwRules.png)
+![Firewall Configuration](./resources/images-demo/FwRules.png)