A Framework for Model Checking Institutions

DOI10.1007/978-3-540-74128-2_9zbMath1196.68291OpenAlexW1521984028MaRDI QIDQ5423887

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)

Related Items (1)

A Complete Quantified Epistemic Logic for Reasoning about Message Passing Systems

Uses Software

• NuSMV

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