898
views
0
recommends
+1 Recommend
1 collections
    4
    shares

      Celebrating 65 years of The Computer Journal - free-to-read perspectives - bcs.org/tcj65

      scite_
       
      • Record: found
      • Abstract: found
      • Conference Proceedings: found
      Is Open Access

      Distributed CTL Model–Checking and counterexample search

      proceedings-article
      ,
      Third International Workshop on Verification and Evaluation of Computer and Communication Systems (VECoS 2009) (VECOS)
      Verification and Evaluation of Computer and Communication Systems (VECoS 2009)
      2-3 July 2009
      Bookmark

            Abstract

            In this paper, we propose a distributed algorithm for CTL model-checking and a counterexample search whenever the CTL formula is not satisfied. The distributed approach is used in order to cope with the state space explosion problem. A cluster of workstations performs collaborative verification over a partitioned state space. Thus, every process involved in the distributed verification executes a labelling procedure on its own partial state space, and uses the parse tree of the CTL formula to evaluate sub-formulas and delay the synchronisations so as to minimise idle time. A counterexample search consists in a distributed construction of the tree-like corresponding to the failure executions. Some experiments have been carried out to evaluate the efficiency of this approach.

            Content

            Author and article information

            Contributors
            Conference
            July 2009
            July 2009
            : 1-12
            Affiliations
            [0001]LSI, Computer Science department, USTHB

            BP 32 El-Alia

            Algiers, ALGERIA
            [0002]LIPN, CNRS UMR 7030, Université Paris XIII

            99, avenue Jean-Baptiste Clément

            F-93430 Villetaneuse, FRANCE
            Article
            10.14236/ewic/VECOS2009.6
            631e4fda-a74e-4af7-bd8d-e8a74dac2a61
            © M.C. Boukala et al. Published by BCS Learning and Development Ltd. Third International Workshop on Verification and Evaluation of Computer and Communication Systems (VECoS 2009), Rabat, Morroco

            This work is licensed under a Creative Commons Attribution 4.0 Unported License. To view a copy of this license, visit http://creativecommons.org/licenses/by/4.0/

            Third International Workshop on Verification and Evaluation of Computer and Communication Systems (VECoS 2009)
            VECOS
            3
            Rabat, Morroco
            2-3 July 2009
            Electronic Workshops in Computing (eWiC)
            Verification and Evaluation of Computer and Communication Systems (VECoS 2009)
            History
            Product

            1477-9358 BCS Learning & Development

            Self URI (article page): https://www.scienceopen.com/hosted-document?doi=10.14236/ewic/VECOS2009.6
            Self URI (journal page): https://ewic.bcs.org/
            Categories
            Electronic Workshops in Computing

            Applied computer science,Computer science,Security & Cryptology,Graphics & Multimedia design,General computer science,Human-computer-interaction

            Comments

            Comment on this article