Updating README

Author: amitnndn

README.md

@@ -1,14 +1,16 @@
-<h2>NuSMV Model Checker</h2>
-<p><strong>Installing NuSMV on MAC:<br/></strong>
-1. <code>$ brew search nusmv</code><small>Searches for NuSMV module</small><br/>
-2. <code>$ brew install nusmv</code><small>Install the NuSMV module</small><br/>
-</p>
-<p><strong>Running NuSMV in terminal</strong><br/> 
-1. Open the NuSMV interactive terminal <code>$ nusmv -int</code><br/>
-2. Run the following commands to read the smv file: <br/>
-	<code>read_model -i file_name.smv</code><br/>
-	<code>flatten_hierarchy</code><br/>
-	<code>encode_variables</code><br/>
-3. To verify the model and requirements, use <code>check_ltlspec -p "G { your_expression_here }"</code>
-</p>
-<p><small>Note: I will add the installation instructions for windows and linux distributions soon with the state diagrams of the models presented in this codebase</small></p>
+# NuSMV Model Verification Module
+Installing NuSMV: 
+1. ```brew install nusmv``` -- Installs the NuSMV CLI on your MAC. For other operating systems, google it.
+
+## Running NuSMV Model Verification Programs: 
+1. Open NuSMV in the terminal ```nusmv -int```
+2. Read the NuSMV model file: 
+```
+$read_model -i {FILE_NAME}.smv
+$flatten_hierarchy
+$encode_variables
+```
+3. To verify the model against requirement, use: 
+``` 
+$check_ltlspec -p "G {YOUR_EXPRESSION}"
+```