Game aspect of program verification

zbMATH Open1126.68482MaRDI QIDQ2457076FDOQ2457076

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)

Recommendations

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

Mathematics Subject Classification ID

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

Cited In (2)

• Effectively solvable classes of cyclical games
• Title not available (Why is that?)

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)