Blog
About

  • Record: found
  • Abstract: found
  • Article: found
Is Open Access

Heuristics to Verify LTL Properties of Hierarchical Systems

,

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

Specification, Hierarchical automata, Modular verification, model-checking, Kripke structure

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

      Hierarchical automata are used to model hierarchical systems. The semantics used is the Kripke structure where states are valued by atomic propositions. This structure can be large in number of states. This paper presents some heuristics to check properties expressed in LTL logic (Linear Temporal Logic). Hierarchical systems are defined in an hierarchical way by a set of subsystems by decomposing every time one or more states in a set of automata. To cope with the combinatorial explosion problem and the check of properties, we consider only the sub-systems concerned by the property to verify and we then deduct its check from it on the global system.

      Related collections

      Author and article information

      Affiliations
      LIFC-Laboratoire d’Informatique de

      l’Université de Franche-Comté 16, route de Gray F-25030 Besançon Cedex
      Contributors
      Conference
      July 2008
      July 2008
      : 1-10
      10.14236/ewic/VECOS2008.14
      © Ahmed Hammad 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