Blog
About

  • 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

            Affiliations
            CEA, LIST, Boîte 65, Gif-sur-Yvette, F-91191 France
            Contributors
            Conference
            July 2008
            July 2008
            : 1-11
            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