Model Checking Techniqes for the Analysis of Reactive Systems

ISSN： 0039-7857

Source： Synthese, Vol.133, Iss.1-2, 2002-10, pp. : 173-201

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract

Related content

A Sat-Based Approach to Unbounded Model Checking for Alternating-Time Temporal Epistemic Logic

By Kacprzak M.

Synthese, Vol. 142, Iss. 2, 2004-09 ,pp. : 203-227

Springer Publishing Company

Access to resources Recommend Favorite

Proof Checking and Knowledge by Intellection

Philosophical Studies, Vol. 92, Iss. 1-2, 1998-10 ,pp. : 85-112

Springer Publishing Company

Access to resources Recommend Favorite

Collaborative cross-checking to enhance resilience

By Patterson Emily Woods David Cook Richard Render Marta

Cognition, Technology & Work, Vol. 9, Iss. 3, 2007-08 ,pp. : 155-162

Springer Publishing Company

Access to resources Recommend Favorite

The Finite Model Property for BCI and Related Systems

By Buszkowski W.

Studia Logica, Vol. 57, Iss. 2-3, 1996-10 ,pp. : 303-323

Springer Publishing Company

Access to resources Recommend Favorite

Discrete Process Model for Quantum Systems of Matter and Mind

By Rainio Kullervo

World Futures: The Journal of General Evolution, Vol. 65, Iss. 4, 2009-05 ,pp. : 270-303

Routledge Ltd

Access to resources Recommend Favorite