Fall 2026

Program Verification and Synthesis

COMPSCI 703 teaches formal methods for program verification, including model checking, temporal logic, and program synthesis.

no offering record for this termCredits unavailable
Recorded instructors · Fall 2026 No instructors listed

Summary

1 / 2

Recent recorded grades — Fall 2022: 3.80 GPA, 96.0% A/AB (n=25 letter grades); Fall 2023: 3.92 GPA, 96.0% A/AB (n=25 letter grades); Spring 2025: 3.77 GPA, 100.0% A/AB (n=11 letter grades).

Grade history

↗
average GPA
letter grades
A
AB
B
BC
C
D
F

All recorded terms · compare terms & instructors

Prerequisites

Course map

Graduate/professional standing

  • Graduate/professional standing
COMPSCI 703

This is a best-effort interpretation; check the catalog requirements above.

Prerequisite text tree
  • Graduate/professional standing

Professors

Fall 2026

No instructors recorded for this selection.

Historical instructors & teaching patterns

Recorded history may be incomplete and does not establish a future schedule.

Calendar & sections

Fall 2026

Schedule loads here as you scroll.

SectionModeEnrolled / capacityWaitlist

Times are Central. Select a meeting for details; export includes recorded dates for the selected sections.

Meeting source records

No records available.

Student experience

the class

Recent recorded grades — Fall 2022: 3.80 GPA, 96.0% A/AB (n=25 letter grades); Fall 2023: 3.92 GPA, 96.0% A/AB (n=25 letter grades); Spring 2025: 3.77 GPA, 100.0% A/AB (n=11 letter grades).

difficulty & workload

No workload feedback recorded.

Topics

  • Model checking and temporal logic
  • Program synthesis and privacy properties

Skills

  • Model checking and temporal logic reasoning
  • Program synthesis and privacy property verification

Grades

Latest available · Spring 2025— not enough history to project Fall 2026.

average GPA
A / AB grades
letter grades
Instructor

Grade distribution · % of letter grades

A
AB
B
BC
C
D
F

Grades over time

Through Spring 2025

More grade details Grade mix, volume & source data

Not enough comparable courses for Fall 2026 in UW–Madison.

Sources & history

UW–Madison

Catalog & offerings

Descriptions, prerequisites, and recorded course offerings.

Catalog observation history

Observations at scan time; dates do not imply when a catalog change took effect.

Download part 1
Selected offering source records

No offering records for the selected term.

Raw records 
[]
Rate My Professors

Student reviews

Original comments behind the course and instructor summaries.

Read original reviews

No records available.

Madgrades

Grade history

Recorded grade distributions by term, section, and instructor.

Explore recorded grades
Dataset & model

Recorded 2026-09-07

View the dataset on Hugging Face
Model outputs & technical records
nvidia/Qwen3.6-35B-A3B-NVFP4
LLM outputs across runs
Download part 1
Full model traces

Recorded model configuration, reasoning, and tool conversations.

Download part 1
Model & dataset provenance 
{
  "model": "nvidia/Qwen3.6-35B-A3B-NVFP4",
  "model_revision": "1355db6a052410cfd62085d94b58866fd0f2c3c5",
  "task_version": "14",
  "output_id": "8e238f1ce7edf0c3fd54422419e77823cb069287b9812a492c3cf9f07ead75b0",
  "requirements_status": "valid",
  "dataset_revision": "e243353dcb7d79b7247ced91d69443ef4c2a6349",
  "observed_at": "2026-09-07 15:55:43.033547+00:00"
}