Proof of program correctness based on Kripke structure

DOI10.3724/SP.J.1087.2011.01425MaRDI QIDQ3168417zbMATH OpenOpenAlexFDO

Authors Jie Lin, Jiankun Yu

Publication date 31 October 2012

Published in Journal of Computer Applications (Search for Journal in Brave)

Full work available at URL https://doi.org/10.3724/sp.j.1087.2011.01425

zbMATH Keywords

Kripke structurepredicateproof of program correctnessstate diagram

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• scientific article; zbMATH DE number 3903944
• Proof of Correctness of Decision Table Programs
• scientific article; zbMATH DE number 4172362
• Multilevel structured program designs and correctness proving
• Program correctness on finite fields

Cited in

(2)

• Proof of Correctness of Decision Table Programs
• scientific article; zbMATH DE number 5713654 (Why is no real title available?)

This page was built for publication: Proof of program correctness based on Kripke structure

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