Program specification by typed Gurevich machines

MaRDI QIDQ2718774zbMATH OpenFDO

Authors Alexandre V. Zamulin

Publication date 9 May 2001

Published in Proceedings of the Estonian Academy of Sciences. Physics, Mathematics (Search for Journal in Brave)

zbMATH Keywords

program specificationmany-sorted algebratyped Gurevich machines

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 1498422
• scientific article; zbMATH DE number 1534582
• A mechanism for the formal description of dynamic systems
• scientific article; zbMATH DE number 743582
• Transition specifications for dynamic abstract data types

Cited in

(8)

• An evolving algebra abstract machine
• Programming with variable functions
• Programming with variable functions
• Guarded transitions in evolving specifications
• scientific article; zbMATH DE number 1498422 (Why is no real title available?)
• scientific article; zbMATH DE number 1534582 (Why is no real title available?)
• scientific article; zbMATH DE number 1822438 (Why is no real title available?)
• A mechanism for the formal description of dynamic systems

This page was built for publication: Program specification by typed Gurevich machines

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