System Verification

  • Temporal Logics;

  • Model Checking;

  • Type Systems.