↓ Skip to main content
What is this page? Embed badge

Tools for Practical Software Verification

Overview of attention for book
Cover of 'Tools for Practical Software Verification'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Model Checking and the State Explosion Problem
  3. Altmetric Badge
    Chapter 2 From Program to Logic: An Introduction
  4. Altmetric Badge
    Chapter 3 Introduction to the Coq Proof-Assistant for Practical Software Verification
  5. Altmetric Badge
    Chapter 4 Advanced Theorem Proving Techniques in PVS and Applications
  6. Altmetric Badge
    Chapter 5 Automatic Verification of Advanced Object-Oriented Features: The AutoProof Approach
  7. Altmetric Badge
    Chapter 6 Using Dafny, an Automatic Program Verifier
Attention for Chapter 6: Using Dafny, an Automatic Program Verifier
Altmetric Badge

Citations

dimensions_citation
2 Dimensions

Readers on

mendeley
6 Mendeley
Summary Dimensions citations
So far, Dimensions has found 2 publications that cite this research output.

2

The most recent citing publications are shown below. View all 2 publications that cite this research output on Dimensions.

This page shows the most recent citations of this research output.

Click here to find out how to access more activity.

This page is provided by Altmetric.