Lewis University Research in Computer Science Paper

Hi, I attached the PDF below, Assignment-2 write in Latex IEEE format. I attached Latex download links in PDF below.

Format: Use the attached Latex IEEE template (Assignment2.zip)

Consider the following two papers:

• Introduction to Embedded Software Verification (PDF)
• Comparison of Model Checking Tools for Information Systems (PDF)

Write a 3-page review of the themes developed in these two papers. Your review should include the following points:

• Concepts or new knowledge presented.
• Model checking tools presented.
• Area of applications covered.
• Application of the concepts presented in these papers to address software verification/testing issues in your professional activities

Submission: Provide the complete zip file that contains the latex source and its compiled PDF of your assignment (assign2_yourname.zip).