Logic Column 19: Symbolic Model Checking for Temporal-Epistemic Logics

Thumbnail Image

Date

Authors

Journal Title

Journal ISSN

Volume Title

Publisher

Abstract

Description

This article surveys some of the recent work in verification of temporal epistemic logic via symbolic model checking, focusing on OBDD-based and SAT-based approaches for epistemic logics built on discrete and real-time branching time temporal logics.
23 pages

Keywords

Logic in Computer Science

Citation

URI

http://salesiana.dossiersoluciones.com/handle/123456789/137296

Consulte el texto completo en el siguiente enlace:

https://arxiv.org/abs/0709.0446
 http://arxiv.org/abs/0709.0446

Collections

arXiv