Coverage metrics for temporal logic model checking^*

Author： Chockler Hana Kupferman Orna Vardi Moshe

ISSN： 0925-9856

Source： Formal Methods in System Design, Vol.28, Iss.3, 2006-05, pp. : 189-212

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

Fully Symbolic Unbounded Model Checking for Alternating-time Temporal Logic 1

By Kacprzak Magdalena

Autonomous Agents and Multi-Agent Systems, Vol. 11, Iss. 1, 2005-07 ,pp. : 69-89

Springer Publishing Company

Access to resources Recommend Favorite

Mapping OWL-S Process Model to Timed Automata: A Model-Checking Timed Temporal Logic Oriented Approach

Journal of Information Technology Research (JITR), Vol. 11, Iss. 1, 2018-01 ,pp. : 29-48

IGI Global_journal

Access to resources Recommend Favorite

Distributed model-checking and counterexample search for CTL logic

By Boukala Mohand Cherif

International Journal of Critical Computer-Based Systems, Vol. 3, Iss. 1-2, 2012-01 ,pp. : 44-59

Inderscience Publishers

Access to resources Recommend Favorite

An algorithmic approach for checking closure properties of temporal logic specifications and -regular languages

By Peled D. Wilke T. Wolper P.

Theoretical Computer Science, Vol. 195, Iss. 2, 1998-03 ,pp. : 183-203

Elsevier

Access to resources Recommend Favorite

Model-checking the preservation of temporal properties upon feature integration

By Guelev Dimitar Ryan Mark Schobbens Pierre

International Journal on Software Tools for Technology Transfer, Vol. 9, Iss. 1, 2007-02 ,pp. : 53-62

Springer Publishing Company

Access to resources Recommend Favorite