CS-643 Formal Verification of Software

CS

  • Pre CS-600

    Introduction

    Formal systems for specification and verification of software; review of the first-order predicate calculus; abstract data types, formal specification, preconditions, postconditions, invariants, predicate transformers, proofs of correctness, and partial and total correctness; correctness for assignments, alternatives, iterations, and procedure calls. Tools for deductive verification, model checking, and analysis of specifications and models.

    Teacher

    David Pfeffer
    ADJUNCT PROFESSOR
    Email: dpfeffer@stevens.edu

    Education

    Bachelors of Science in Computer Science
    Stevens Institute of Technology
    Hoboken, NJ
    Honors; Minor in Law and Public Policy
    Masters of Science in Computer Science
    Stevens Institute of Technology
    Hoboken, NJ
    4.0 GPA; Graduate Certificates in Computer Systems, Databases & Service Oriented Architecture, Distributed Systems, Enterprise Computing, Quantitative Software Engineering, Service Oriented Computing
    Professional Societies
    Member of the IEEE Computer Society and ACM.
    Courses
    CS 521 TCP/IP Networking
    CS 570 Introduction to Programming, Data Structures, and Algorithms
    CS 465 Selected Topics in Computer Science
    SSW 810 Selected Topics in Systems Centric Software Engineering
文章目錄
  1. 1. Introduction
  2. 2. Teacher
  3. 3. Education
,