For Publishers
DiscoveryMetadataPeer reviewHostingPublishing
For Researchers
JoinPublishReviewCollect
Register
Blog
About
Search
Advanced search
My ScienceOpen
Search
For Publishers
For Researchers
Blog
About
44
views
48
references
 Top references
cited by
1
    
0 reviews
 Review
0
comments
 Comment
0
recommends
+1 Recommend
0 collections
    0
    shares
      1,770
      similar
       All similar
      • Record: found
      • Abstract: found
      • Book Chapter: found
      Is Open Access
      Programming Languages and Systems 

      Meta-F \(^\star \) : Proof Automation with SMT, Tactics, and Metaprograms

      other

      Read this book at

      Publisher
      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 references48

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

          Edinburgh LCF

          Michael J. C. Gordon, Arthur Milner, Christopher Wadsworth (1979)
          Book 0 comments Cited 89 times – based on 0 reviews
            Bookmark
            • Record: found
            • Abstract: not found
            • Book Chapter: not found

            Boogie: A Modular Reusable Verifier for Object-Oriented Programs

            Mike Barnett, Bor-Yuh Chang, Robert DeLine … (2006)
            Article 0 comments Cited 73 times – based on 0 reviews
              Bookmark
              • Record: found
              • Abstract: not found
              • Book Chapter: not found

              Dafny: An Automatic Program Verifier for Functional Correctness

              K. Rustan M. Leino (2010)
              Article 0 comments Cited 71 times – based on 0 reviews
                Bookmark
                All references

                Author and book information

                Book Chapter
                Publication date (Print): 2019
                Publication date (Online): April 06 2019
                Pages: 30-59
                DOI: 10.1007/978-3-030-17184-1_2
                SO-VID: e178d480-9064-49dd-84cf-ff9b4ee58abd
                History

                Data availability:

                Comments

                Comment on this book

                Book chapters

                Similar content1,770

                See all similar

                Cited by1

                See all cited by