Proving properties of Pascal programs in MIZAR 2

DOI10.1007/BF00265684zbMath0564.68010OpenAlexW2094822356MaRDI QIDQ1058285

Włodzimierz Drabent, Piotr Rudnicki

Publication date: 1985

Published in: Acta Informatica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf00265684

zbMATH Keywords

predicate calculussemanticsMIZAR 2Pascal language constructs

Mathematics Subject Classification ID

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

Uses Software

• Mizar

This page was built for publication: Proving properties of Pascal programs in MIZAR 2