Software Engineering Institute | Carnegie Mellon University
Software Engineering Institute | Carnegie Mellon University

Digital Library

Javascript is currently disabled for your browser. For an optimal search experience, please enable javascript.

Advanced Search

Basic Search

Content Type

Topics

Publication Date

Alfs T. Berztiss (University of Pittsburgh)
December 1988 - Curriculum Module Formal Verification of Programs

Topics: Performance and Dependability

Authors: Alfs T. Berztiss (University of Pittsburgh), Mark A. Ardis (Stevens Institute of Technology)

This 1988 module introduces formal verification of programs, dealing primarily with proofs of sequential programs, but also with consistency proofs for data types and deduction of particular behaviors of programs from their specifications.

October 1987 - Curriculum Module Formal Specification of Software

Authors: Alfs T. Berztiss (University of Pittsburgh)

This 1987 report introduces formal specification of concurrent software and verification of the consistency between concurrent programs and their specifications.

October 1987 - Curriculum Module Support Materials for Formal Specification of Software

Authors: Alfs T. Berztiss (University of Pittsburgh)

This 1987 report includes materials that are helpful in teaching a course on formal specification of software.