Proving properties of Pascal programs in MIZAR 2

DOI10.1007/BF00265684MaRDI QIDQ1058285zbMATH OpenOpenAlexFDO

Authors Piotr Rudnicki, Włodzimierz Drabent

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

semanticspredicate calculusMIZAR 2Pascal language constructs

Mathematics Subject Classification ID

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

Recommendations

• The mathematical construction of a program
• Publication:3197301
• scientific article; zbMATH DE number 4147469
• scientific article; zbMATH DE number 4006266
• scientific article; zbMATH DE number 3858395

Cited in

(2)

• Implementation of the composition-nominative approach to program formalization in Mizar
• The mathematical construction of a program

Describes a project that uses

Uses Software

• Mizar

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1058285)