22
views
0
recommends
+1 Recommend
0 collections
    0
    shares
      • Record: found
      • Abstract: not found
      • Book Chapter: not found
      Model Checking Software 

      Refinement Selection

      other
      , ,
      Springer International Publishing

      Read this book at

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

          Related collections

          Most cited references25

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

          Counterexample-guided abstraction refinement for symbolic model checking

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

            Interpolation and SAT-Based Model Checking

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

              CPAchecker: A Tool for Configurable Software Verification

                Bookmark

                Author and book information

                Book Chapter
                2015
                August 27 2015
                : 20-38
                10.1007/978-3-319-23404-5_3
                fdc04828-c383-4ee8-aa4e-04135b42c67d
                History

                Comments

                Comment on this book