BTP 2k18-19 Verification of Embedded SQL Applications using Formal Methods of Verification ###-> Symbolic Execution (SE) ###-> Conditional Normal Form (CNF) ###-> Weakest Pre-Condition (WPC)