diff --git a/Tools.md b/Tools.md
new file mode 100644
index 0000000000000000000000000000000000000000..3199b30b21f6250ecaec0a84941171ad2365e3a7
--- /dev/null
+++ b/Tools.md
@@ -0,0 +1,13 @@
+|  S.NO |  Security tool   |  Method   |  Method of Analysis | Rule Definition Language|
+|:-------:|---------|------------|------------|------------|
+|  1 |  Oyente    |  Symbolic Execution                 | Static code analysis | Yes|
+|  2 |  Securify      |Formal Verification         |  Static code analysis |Yes|
+|  3 |  Smart check          | Symbolic Execution      |  Static code analysis | Yes |
+|  4 |  Mythril            | Formal verification         |  Static code analysis | Yes|
+|  5 |  Scribble            |   Runtime Verification     |  Fuzz testing            |YES|
+|  6 |  Manticore            |    Symbolic Execution     |  Fuzz testing            |No|
+|  7 |  Certora             | Formal Verification        |  Static code analysis    |Yes|
+|  8  |   HoneyBadger       |         Symbolic Execution |   Fuzz testing         |No|       
+|  9  |   Maian             |    Symbolic Execution         | Static and Dnamic analysis |Yes|
+|  10 |   Osiris            |         Symbolic Execution     | Taint analysis  |Yes|
+| 11  | Slither         |           Symbolic Execution        |     Static code analysis|No|