CSE 4493 creditsPrereq: Pre-Requisite: CSE 305 . Computer Science, Computer Engineering, or Bioinformatics majors only.

CSE 449: Software Verification

No student reviews yet

Undergrad registration for Spring 2027 at UB opens Mon, Nov 2. Registrar dates

No ratings yet

We don't have ratings, grades or reviews for CSE 449 yet.

Below: what the catalog says, the CSE classes numbered next to it and how Computer Science and Engineering classes rate at UB.

Yours would be the first. About two minutes, anonymous.

Took CSE 449? How hard was it?

1 is easy, 5 is hard. Anonymous, no account.

From the catalog: This course will cover concepts, methods, and tools for formal verification of software. Software paradigms include object-oriented, functional and concurrent software. The course will cover software specification languages based upon set theory and various logics, and verification techniques that are code-based and model-based. Important topics include code contracts, weakest pre-conditions, invariants, termination, induction, model checking, and the use of modern tools for software verification. Adoption of verification methods in industry will also be surveyed. This course is dual-listed with CSE 549.
Credits: 3
Department: Computer Science and Engineering

CSE 449 has no ratings yet. These CSE classes do, nearest numbers first.

0–100 scores from ratings across the web

No written reviews of CSE 449 yet

Took it? Add yours when you have a couple of minutes. Anonymous, no account, no email.