Formal Methods Mid Term Tips

-Transformational System Logic & Reactive System Logic (Define & Explain)

-Soundness and Completeness (Def. Actual Soundness)

-Logical Connectives (write in order of precedence) (not, and, or, logically implies, equivalence)

-Logical Connectives meaning

-Atomic sentences: predict the logic, create the sentence

-What is formal methods used for?






IF ITS TOO LATE ITS TOO LATE