Software Verification and Validation
Course Description :

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​

Department :Computer Information Systems
Program :MSc. of Information Systems
Course Level :Master
Course Outline :
1902715Software Verification and Validation.pdf    

King Abdullah II School of Information Technology
Department of Computer Information Systems


  • Saying goodbye to my wonderful faculty is more nostalgic than simple words can describe; it has truly become a second home. ... Eman Ennab

  • King Abdullah II College for Information Technology was and still maintains the pertinent atmosphere for volunteering in many sci ... Yousef Arabiat

  • Despite having differences between the study experiences and real work experience, the university is the pillar for building care ... Abed Abuhijleh