King Abdullah II School of Information Technology - The University of Jordan - Software Verification and Validation

  Department of Computer Information Systems

( 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​

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