| WEEK NO: | 09 | DATE: | 10-05-2021 |
|---|---|---|---|
| PLANNING | Work on the research paper | ||
| MILESTONE: | PLANNED: | ACTUAL: | COMMENT: |
| Complete the result section | compare the formal validation tools with their features and limitations | 10 tools were compared. | success |
| ISSUES | |||
| DESCRIPTION: | DATE: 13-05-2021 | ACTION/RESULTS: | FINISHED (Y?N) |
| In some tools limitatipons were unable to find | Those areas were kept blank without including any false information. | Y |