35
views
0
recommends
+1 Recommend
0 collections
    0
    shares
      • Record: found
      • Abstract: not found
      • Book Chapter: not found
      Formal Methods in Computer-Aided Design 

      Checking Safety Properties Using Induction and a SAT-Solver

      other
      , ,
      Springer Berlin Heidelberg

      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 references1

          • Record: found
          • Abstract: not found
          • Conference Proceedings: not found

          Symbolic model checking using SAT procedures instead of BDDs

            Bookmark

            Author and book information

            Book Chapter
            2000
            June 18 2002
            : 127-144
            10.1007/3-540-40922-X_8
            4a2ae296-0486-42de-89ed-5629e566fd2e
            History

            Comments

            Comment on this book