✕

About

Leadership Divisions Work with Us Collaboration with CMU History of Innovation at the SEI

Our Work

Agile Artificial Intelligence Engineering Cyber Workforce Development Cybersecurity Center Development Cybersecurity Engineering DevSecOps Enterprise Risk and Resilience Management All Topics All Projects

Publications

Annual Reviews Blog Digital Library Podcast Series Software and Tools Technical Papers Vulnerability Notes Database Webcasts

News and Events

News Events SEI Bulletin

Education and Outreach

Courses Credentials Curricula License SEI Materials

Careers

Job Openings Diversity, Equity and Inclusion Internship Opportunities Working at the SEI

Carnegie Mellon University

Software Engineering Institute

About
Leadership Divisions Work with Us Collaboration with CMU History of Innovation at the SEI
Our Work
Agile Artificial Intelligence Engineering Cloud Computing Cyber Workforce Development Cybersecurity Center Development Cybersecurity Engineering DevSecOps All Topics All Projects
Publications
Annual Reviews Blog Digital Library Podcast Series Software and Tools Technical Papers Vulnerability Notes Database Webcasts Series
News and Events
News Events SEI Bulletin
Education and Outreach
Courses Credentials Curricula License SEI Materials
Careers
Job Openings Diversity, Equity, and Inclusion Internship Opportunities

Home
Publications
Authors
James Collofello

James Collofello

James Collofello is an SEI alumni employee.

All

Introduction to Software Verification and Validation

December 1, 1988 • Curriculum Module

By James Collofello

Report a Vulnerability to CERT/CC
Subscribe to SEI Bulletin
Request Permission to Use SEI Materials

Carnegie Mellon University
Software Engineering Institute
4500 Fifth Avenue
Pittsburgh, PA 15213-2612
412-268-5800

Contact Us

Office Locations
Additional Sites Directory
Legal
Privacy Notice
CMU Ethics Hotline
www.sei.cmu.edu

2024

Carnegie Mellon University