Blog
About

71
views
0
recommends
+1 Recommend
1 collections
    4
    shares
      • Record: found
      • Abstract: found
      • Article: found
      Is Open Access

      Verifying SystemC with Scenario

      , ,

      Second International Workshop on Verification and Evaluation of Computer and Communication Systems (VECoS 2008) (VECoS)

      Verification and Evaluation of Computer and Communication Systems

      2 - 3 July 2008

      SystemC, static-analysis, compositional verification, model-checking

      Read this article at

      Bookmark
          There is no author summary for this article yet. Authors can add summaries to their articles on ScienceOpen to make them more accessible to a non-specialist audience.

          Abstract

          This paper proposes a new approach for the analysis and verification of complex systems. The core of the method consists in combining model-checking and abstract interpretation for analysis and verification. The system is modeled by a Labeled Transition System obtained from a SystemC description, and the properties to be verified are formalized as an observer automaton with assertions. To ease the specification of properties, we introduce a dedicated language, named Scenario. The contributions of the paper are twofold: the language for describing the expected properties and behavior of a system as Scenario, and a static analysis for verifying such properties.

          Related collections

          Most cited references 7

          • Record: found
          • Abstract: not found
          • Article: not found

          Abstract Interpretation Frameworks

            Bookmark
            • Record: found
            • Abstract: not found
            • Book Chapter: not found

            Learning Assumptions for Compositional Verification

              Bookmark
              • Record: found
              • Abstract: not found
              • Book Chapter: not found

              Symbolic Compositional Verification by Learning Assumptions

                Bookmark

                Author and article information

                Contributors
                Conference
                July 2008
                July 2008
                : 1-11
                Affiliations
                CEA, LIST, Boîte 65, Gif-sur-Yvette, F-91191 France
                10.14236/ewic/VECOS2008.10
                © Nicolas Ayache et al. Published by BCS Learning and Development Ltd. Second International Workshop on Verification and Evaluation of Computer and Communication Systems (VECoS 2008)

                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/

                Second International Workshop on Verification and Evaluation of Computer and Communication Systems (VECoS 2008)
                VECoS
                Leeds, UK
                2 - 3 July 2008
                Electronic Workshops in Computing (eWiC)
                Verification and Evaluation of Computer and Communication Systems
                Product
                Product Information: 1477-9358 BCS Learning & Development
                Self URI (journal page): https://ewic.bcs.org/
                Categories
                Electronic Workshops in Computing

                Comments

                Comment on this article