Temporal Logic
Meaning ⎊ A formal language for describing and verifying how a system behaves over time.
Invariants and Assertions
Meaning ⎊ Defining and enforcing fundamental rules within the code that must remain true to ensure system correctness and safety.
