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
- Open source tools for testing/debugging AI/LLM/RL
Resources
- Course Blog Posts
- Canvas Course: Course ID 70713
LangSmith & Observability Tools
- LangSmith: Official Website - LLM application observability and monitoring platform
- LangSmith Documentation: Setup Instructions - Complete guide for getting started
- LangSmith Setup Guide: Available in course materials (
v0.1_LangSmith_Setup_Instructions-v1.pdf) - LangSmith Hands-On Materials: Download from Canvas module “LangSmith Tutorial + Hands-On Experiences”
Open Source Testing Tools
- Collection of Frameworks & Tools: Available in course materials (
Collection_of_frameworks_tools_projects.pdf) - Covers tools for testing, debugging, and validating AI/LLM/RL systems
- Includes frameworks for unit testing, integration testing, and continuous verification
External Resources – Textbooks
See course draft posts for recommended textbooks and reference materials.
Student Planner
Past Week & Upcoming Lectures
| Lecture # | Date | Title | Notes | Slides | Transcript | Media | Additional Resources |
|---|---|---|---|---|---|---|---|
| 1 | 2026-01-14 | Course Setup & Resources | ✓ | ✓ | Syllabus PDF, Mediasite Guide | ||
| 2 | 2026-01-15 | Introduction to Software Testing | ✓ | ✓ | Testing PDF | ||
| 3 | 2026-01-17 | Open Source Tools for AI/LLM/RL | ✓ | ✓ | Tools Collection PDF | ||
| Upcoming | 2026-01-19 | TBD | |||||
| Upcoming | 2026-01-21 | TBD | |||||
| Upcoming | 2026-01-23 | TBD |
LangSmith Tutorial Materials
- Setup Instructions:
v0.1_LangSmith_Setup_Instructions-v1.pdf(Downloaded) - Hands-On Code:
langsmith.zip(Downloaded) - External Links:
Course Materials Location
All materials are organized in: /coursework/Spring2026/software-verification/
- Syllabus:
syllabus.yaml - Agent Instructions:
AGENT_INSTRUCTIONS.md - Lecture Materials:
_lectures/lecture-XX/
Canvas & Media Links
- Canvas Course: View on Canvas
- Syllabus: View Syllabus
- Media Site: Mediasite Channel
- Calendar Feed: iCal Feed
Instructors
- Primary Instructor: Akbar Siami Namin
- Co-Instructor: Hasan Al-Qudah
Related Content
Recent Drafts
No drafts available for this course.
Recent Projects
No projects available for this course.
Recent Posts
-
Software Verification – Upcoming Topic (see Canvas Modules)
8 min read
Placeholder draft for a later lecture; the exact topic and structure will be filled in...
-
Software Verification – LangSmith Experiments and Observability
10 min read
Stub post expanding the LangSmith hands-on work into a discussion of experiment design, observability, and...
-
Software Verification – Introduction to Formal Methods
10 min read
Stub post introducing formal methods in , connecting mathematical reasoning to practical verification of real...
-
Software Verification – LangSmith Tutorial and Hands-On Setup
10 min read
Stub post capturing the LangSmith tutorial and hands-on setup work from the modules, focusing on...
-
Software Verification – Specifications and Requirements
10 min read
Stub post on writing precise specifications and requirements, a key prerequisite for formal verification and...
-
Software Verification – Testing Strategies and Test Design
10 min read
A stub post on core testing strategies in , from black-box and white-box testing to...
-
Software Verification – Introduction to Testing
10 min read
An overview of software testing in , covering why testing matters, core terminology, and how...
-
Formal Methods in Software Verification: Mathematical Approaches to Correctness
15 min read
An introduction to formal methods for software verification, including model checking, theorem proving, and mathematical...
-
Integration Testing and Continuous Verification
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
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
15 min read
Comprehensive guide to unit testing strategies, covering test case design, coverage metrics, mocking techniques, and...
-
Research Model Checking with SPIN and Promela
15 min read
A deep dive into SPIN model checker and Promela modeling language for verifying concurrent systems,...
-
Symbolic Execution with KLEE: Automated Test Generation and Bug Finding
Introduction