Dec 08, 2025  
2020-2021 Graduate Catalog 
    
Catalog Navigation
  Catalog Home
  About the Catalog
  About the University
  Colleges & Departments
  Courses
  Degrees & Certificates Offered
  Online Programs
  Graduate School Handbook
  Academic Calendar
  All-University Regulations
  Academic Policies and Procedures
  Disclosures
  Tuition and Fees
  Glossary and Abbreviations
  Graduate School Admission
  International Programs
  K-State Research and Extension
  Services for Students
  Student Financial Assistance
  Support Services
  University Faculty and Professional Staff
  Archived Catalogs
  KSIS
  Auxiliary Services and Facilities
  K-State Athletics
  K-State Libraries
  K-State Online
  Research Facilities and Centers
  WebMail
  Academic Standing
  Request Information
  My Portfolio
HELP
2020-2021 Graduate Catalog [ARCHIVED CATALOG]

Add to Portfolio (opens a new window)

CIS 841 - Verification and Validation

Credits: 3

Practical techniques for verifying and validating software including formal verification, software testing, reliability measurement and modeling.

Requisites:
Prerequisite: CIS 771 and either or CIS 740 or CIS 744.


Add to Portfolio (opens a new window)