A Framework for Model Checking Institutions

DOI10.1007/978-3-540-74128-2_9MaRDI QIDQ5423887zbMATH OpenOpenAlexFDO

Authors Francesco Viganò

Publication date 1 November 2007

Published in Model Checking and Artificial Intelligence (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-74128-2_9

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Agent technology and artificial intelligence (68T42)

Recommendations

• A conceptual model for situated artificial institutions
• Model checking normative agent organisations
• scientific article; zbMATH DE number 2112103
• scientific article; zbMATH DE number 2222698
• Verifying social expectations by model checking truncated paths

Cited in

(4)

• A conceptual model for situated artificial institutions
• InstQL: a query language for virtual institutions using answer set programming
• Verifying social expectations by model checking truncated paths
• A Complete Quantified Epistemic Logic for Reasoning about Message Passing Systems

Describes a project that uses

Uses Software

• NuSMV

This page was built for publication: A Framework for Model Checking Institutions

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