Center for Software Dependability (CSD) is a research group at Capital University of Science and Technology, Islamabad, Pakistan founded by Dr. M. Jaffar-ur-Rehman (Late) in June, 2003. The group has been working in diverse areas within the domain of Software Dependability, with focus on Software Reliability, Formal Methods, Model Driven Architecture, and Software Testing.
Center for Software Dependability main focus towards research is in the areas of software reliability, safety, and dependability. Under these broad domains, we cover formal methods, software testing and quality assurance, model based testing, and software fault tolerance areas. For more details, please visit our research page.