Verification and Validation course provides all aspects of the system engineering discipline employing a rigorous methodology for evaluating and assessing the correctness and quality of system and software throughout the system/software life cycle. It includes the following topics: Planning verification and validation; verification and validation techniques. Software testing: Component testing, integration testing and system testing. Testing techniques; Verification and formal methods. Critical systems validation. Transition Systems, Kripke Structure, Linear Temporal Logic (LTL), Computational Tree Logic (CTL), Binary Decision Diagrams, Modeling Real-Time Systems, Algorithms for Verifying Real Time Systems​