PowerPoint Presentation Molecular Transactions G. Ramalingam Kapil Vaswani Rigorous Software Engineering, MSRI Simple banking application Rigorous Software Engineering Microsoft…