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