Distributed model-checking and counterexample search for CTL logic

ISSN： 1757-8779

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

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

Counter-example generation in symbolic abstract model-checking

By Pace Gordon Halbwachs Nicolas Raymond Pascal

International Journal on Software Tools for Technology Transfer, Vol. 5, Iss. 2-3, 2004-03 ,pp. : 158-164

Springer Publishing Company

Access to resources Recommend Favorite

Distributed breadth-first search LTL model checking

By Barnat Jiří Černá Ivana

Formal Methods in System Design, Vol. 29, Iss. 2, 2006-09 ,pp. : 117-134

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

CTL^* model checking on a shared-memory architecture

By Inggs Cornelia Barringer Howard

Formal Methods in System Design, Vol. 29, Iss. 2, 2006-09 ,pp. : 135-155

Springer Publishing Company

Access to resources Recommend Favorite

Data structures for symbolic multi-valued model-checking

By Chechik Marsha Gurfinkel Arie Devereux Benet Lai Albert Easterbrook Steve

Formal Methods in System Design, Vol. 29, Iss. 3, 2006-11 ,pp. : 295-344

Springer Publishing Company

Access to resources Recommend Favorite