Proof of program correctness based on Kripke structure

DOI10.3724/SP.J.1087.2011.01425zbMath1252.68078OpenAlexW2323347121MaRDI QIDQ3168417

Jiankun Yu, Jie Lin

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 structurestate diagrampredicateproof of program correctness

Mathematics Subject Classification ID

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

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