Proving ATL* Properties of Infinite-State Systems

DOI10.1007/11921240_17MaRDI QIDQ3525153zbMATH OpenOpenAlexFDO

Authors Matteo Slanina, Henny B. Sipma, Zohar Manna

Publication date 11 September 2008

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/11921240_17

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Deductive verification of alternating systems
• Alternating-time temporal logic
• scientific article; zbMATH DE number 2100580
• scientific article; zbMATH DE number 2086522
• Complete axiomatization and decidability of alternating-time temporal logic

Cited in

(2)

• scientific article; zbMATH DE number 1670767 (Why is no real title available?)
• Deductive verification of alternating systems

Describes a project that uses

Uses Software

• MOCHA

This page was built for publication: Proving ATL* Properties of Infinite-State Systems

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