Blog
About

13
views
0
recommends
+1 Recommend
0 collections
    0
    shares
      • Record: found
      • Abstract: not found
      • Article: not found

      A Survey of Automated Techniques for Formal Software Verification

      Read this article at

      ScienceOpenPublisher
      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.

          Related collections

          Most cited references 58

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

          Abstract interpretation

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

            The model checker SPIN

             G.J. Holzmann (1997)
              Bookmark
              • Record: found
              • Abstract: not found
              • Book Chapter: not found

              Counterexample-Guided Abstraction Refinement

                Bookmark

                Author and article information

                Journal
                IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
                IEEE Trans. Comput.-Aided Des. Integr. Circuits Syst.
                Institute of Electrical and Electronics Engineers (IEEE)
                0278-0070
                July 2008
                July 2008
                : 27
                : 7
                : 1165-1178
                Article
                10.1109/TCAD.2008.923410
                © 2008
                Product

                Comments

                Comment on this article