Prev Up Next
Go backward to Applications
Go up to Lectures
Go forward to Language Design or Extensions

Specification and Verification

  • Representing, Verifying, and Applying
    Generic Software Development Steps Using PVS
    Axel Dold
  • Filter-based Model Checking of Partial Systems
    Matthew B. Dwyer and Corina S. Pasareanu
  • Generic Specification and Verification
    Friedrich von Henke, in collaboration with
    F. Bartels, A. Dold, H. Pfeifer, H. Rueß
  • Applying Larch/C++ to the STL
    Gary Leavens
  • Mizar Verification of Generic Algebraic Algorithms
    Christoph Schwarzweller
  • Language Independent Container Specification
    Alexandre Zamulin


    Prev Up Next