Software Verification and Validation

Semester: Spring 2026
Status: Active

Course Information

• Start Date: January 14, 2026
• End Date: May 15, 2026
• Time Zone: America/Chicago
• Syllabus: View on Canvas

Description

Methods and techniques for verifying and validating software systems, including testing, formal methods, and quality assurance.

Topics

• Software testing strategies
• Formal methods and model checking
• Specification and requirements analysis
• Continuous verification
• LangSmith and observability tools
• Integration testing
• Unit testing strategies

Resources

• Course Blog Posts
• Canvas Course: Course ID 70713

External Resources – Textbooks

See course draft posts for recommended textbooks and reference materials.

---

Related Content

### Recent Drafts

Recent Drafts

• Software Verification – Upcoming Topic (see Canvas Modules) January 30, 2026
• Software Verification – LangSmith Experiments and Observability January 28, 2026
• Software Verification – Introduction to Formal Methods January 26, 2026
• Software Verification – LangSmith Tutorial and Hands-On Setup January 23, 2026
• Software Verification – Specifications and Requirements January 21, 2026
• Software Verification – Testing Strategies and Test Design January 19, 2026
• Software Verification – Introduction to Testing January 16, 2026

### Recent Projects

Recent Projects

No projects available for this course.

### Recent Posts

Recent Posts

• Formal Methods in Software Verification: Mathematical Approaches to Correctness
  January 15, 2026 15 min read

  An introduction to formal methods for software verification, including model checking, theorem proving, and mathematical...

• Integration Testing and Continuous Verification
  January 15, 2026 15 min read

  Exploring integration testing methodologies and continuous verification practices, including test automation, CI/CD pipelines, and strategies...

• Software Verification and Testing: Building Reliable Systems
  January 15, 2026 15 min read

  Exploring the fundamentals of software verification and validation, covering testing strategies, quality assurance techniques, and...

• Unit Testing Strategies: Writing Effective Test Cases
  January 15, 2026 15 min read

  Comprehensive guide to unit testing strategies, covering test case design, coverage metrics, mocking techniques, and...

View All Posts →