213
views
0
recommends
+1 Recommend
1 collections
    0
    shares
       
      • Record: found
      • Abstract: found
      • Conference Proceedings: found
      Is Open Access

      SBMC : Symmetric Bounded Model Checking

      proceedings-article

      , ,

      Fourth International Workshop on Verification and Evaluation of Computer and Communication Systems (VECoS 2010) (VECOS)

      Verification and Evaluation of Computer and Communication Systems (VECoS 2010)

      1-2 July 2010

      Model Checking, Symmetry reduction, SAT, Boolean Formula, Bounded Model Checking, Formal methods

      Bookmark

            Content

            Author and article information

            Contributors
            Conference
            July 2010
            July 2010
            : 1-8
            Affiliations
            [0001]LIP2 and Faculty of

            Sciences of Tunis

            Campus Universitaire 2092 - El Manar Tunis

            Tunisia
            [0002]LIP2 and Polytechnic

            School of Tunisia

            B.P. 743 - 2078 La Marsa

            Fax : +21671748843

            Tunisia
            Article
            10.14236/ewic/VECOS2010.9
            46b24a36-cd23-4edd-88fe-5c0bef38b787
            © Brahim NASRAOUI et al. Published by BCS Learning and Development Ltd. Fourth International Workshop on Verification and Evaluation of Computer and Communication Systems (VECoS 2010), Paris, France

            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/

            Fourth International Workshop on Verification and Evaluation of Computer and Communication Systems (VECoS 2010)
            VECOS
            4
            Paris, France
            1-2 July 2010
            Electronic Workshops in Computing (eWiC)
            Verification and Evaluation of Computer and Communication Systems (VECoS 2010)
            Product
            Product Information: 1477-9358BCS Learning & Development
            Self URI (journal page): https://ewic.bcs.org/
            Categories
            Electronic Workshops in Computing

            Comments

            Comment on this article