Game models for open systems

DOI10.1007/B12001MaRDI QIDQ5305645zbMATH OpenOpenAlexFDO

Authors Luca De Alfaro

Publication date 23 March 2010

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

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

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• scientific article; zbMATH DE number 2209335
• scientific article; zbMATH DE number 2080757
• Module checking
• Verification of Open Systems
• Alternating-time temporal logic

Cited in

(11)

• Model checking open systems with alternating projection temporal logic
• Standalone Tactics Using OpenTheory
• scientific article; zbMATH DE number 3878725 (Why is no real title available?)
• Input-Output Model Programs
• Play to Test
• Composition of Model Programs
• State Space Representation for Verification of Open Systems
• The quotient in preorder theories
• scientific article; zbMATH DE number 2209335 (Why is no real title available?)
• Refinements for open automata
• Composing model programs for analysis

This page was built for publication: Game models for open systems

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