Game aspect of program verification

MaRDI QIDQ2457076zbMATH OpenFDO

Authors M. S. Chernichkin, Vasiliĭ N. Lebedev

Publication date 30 October 2007

Published in Journal of Computer and Systems Sciences International (Search for Journal in Brave)

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Other game-theoretic models (91A40) Temporal logic (03B44)

Recommendations

• Effectively solvable classes of cyclical games
• Games for the -calculus
• Algorithms for Parity Games
• Certification for \(\mu \)-calculus with winning strategies
• scientific article; zbMATH DE number 2155185

Cited in

(2)

• Effectively solvable classes of cyclical games
• scientific article; zbMATH DE number 2155185 (Why is no real title available?)

This page was built for publication: Game aspect of program verification

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