search

KarenKarenWang / cas741_project1

first project for course cas741
Other
2 stars 0 forks source link

4.4: What “static verification” will be done? #26

Closed balacij closed 1 year ago

balacij commented 1 year ago

Section 4.4 mentions “static verification” but doesn't go into detail about what kinds of analysis will be done. You should elaborate on what kinds of analysis you will be doing and, maybe, why you chose it.