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

      LTL Translation Improvements in Spot

      Fifth International Workshop on Verification and Evaluation of Computer and Communication Systems (VECoS 2011) (VECOS)

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

      15-16 September 2011

      Model checking, Büchi automata, LTL, temporal logic, translation, simplifications, implementation

      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

          Spot is a library of model-checking algorithms. This paper focuses on the module translating LTL formulæ into automata. We discuss improvements that have been implemented in the last four years, we show how Spot’s translation competes on various benchmarks, and we give some insight into its implementation.

          Related collections

          Most cited references 6

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

          On-the-fly Verification of Linear Temporal Logic

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

            From States to Transitions: Improving Translation of LTL Formulae to Büchi Automata

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

              Efficient minimization of deterministic weak -automata

                Bookmark

                Author and article information

                Contributors
                Conference
                September 2011
                September 2011
                : 1-12
                Affiliations
                LRDE / EPITA

                14-16 rue Voltaire,

                94276 Le Kremlin-Bicêtre Cedex

                France
                Article
                10.14236/ewic/VECOS2011.8
                © A. Duret-Lutz. Published by BCS Learning and Development Ltd. Fifth International Workshop on Verification and Evaluation of Computer and Communication Systems (VECoS 2011), Tunis, Tunisia

                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/

                Fifth International Workshop on Verification and Evaluation of Computer and Communication Systems (VECoS 2011)
                VECOS
                5
                Tunis, Tunisia
                15-16 September 2011
                Electronic Workshops in Computing (eWiC)
                Verification and Evaluation of Computer and Communication Systems (VECoS 2011)
                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