Skip to main content.

Courses

Subjects

Course Search

Search Results

Course Prefix: CSE   Course #: 549   Keywords: null   showing 1 to 2 of ~2
  • CSE 549LEC Software Verification
    Lecture

    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 449.

    Credits: 3
    Grading: Graded (GRD)
    Typically Offered: Varies
  • CSE 549LEC Software Verification
    Lecture

    This course will cover concepts, methods, and tools for formal verification of software. Software paradigms include object-oriented, declarative as well as concurrent software. The course will cover software specification techniques based upon set theory and various logics, and verification techniques that are code-based and model-based. Important topics include code contracts, weakest preconditions, invariants, termination, induction, and model checking, and the use of modern tools for software verification. Adoption of verification methods in industry will also be surveyed.

    Credits: 3
    Grading: Graded (GRD)
    Typically Offered: Varies
    Other Requisites: Preferred knowledge of software programming paradigms, and discrete mathematics.
 
Published: Oct 13, 2020 13:33:43