Verification of file manipulation programs in the language PASCAL

zbMath0469.68013MaRDI QIDQ1157145

V. A. Nepomnyashchij

Publication date: 1981

Published in: Programming and Computer Software (Search for Journal in Brave)

zbMATH Keywords

partial correctness

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Data structures (68P05)

Related Items (3)

Sublinear exaves ⋮ Verification of a finite iteration over data structures ⋮ Renormalization theory of a two dimensional Bose gas: quantum critical point and quasi-condensed state

This page was built for publication: Verification of file manipulation programs in the language PASCAL