Correctness of the formal generalized net project of the connections between procedural program functions

zbMATH Open1307.68027MaRDI QIDQ5407539FDOQ5407539

Authors: Magdalina Todorova 

Publication date: 7 April 2014

Recommendations

• Using generalized nets for programme verification
• Reductional programming of functions represented by recurrent relations of the first order
• scientific article; zbMATH DE number 1342248
• General correctness: A unification of partial and total correctness
• Multilevel structured program designs and correctness proving

zbMATH Keywords

verificationmodelingprogram correctnessgeneralized nets

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Specification and verification (program logics, model checking, etc.) (68Q60)

This page was built for publication: Correctness of the formal generalized net project of the connections between procedural program functions

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