↓ 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 4: Advanced Theorem Proving Techniques in PVS and Applications
Altmetric Badge

Citations

dimensions_citation
2 Dimensions

Readers on

mendeley
2 Mendeley
Summary Dimensions citations
You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output. Click here to find out more.
Chapter title
Advanced Theorem Proving Techniques in PVS and Applications
Chapter number 4
Book title
Tools for Practical Software Verification
Published by
Springer, Berlin, Heidelberg, January 2012
DOI 10.1007/978-3-642-35746-6_4
Book ISBNs
978-3-64-235745-9, 978-3-64-235746-6
Authors

César A. Muñoz, Ramiro A. Demasi, Muñoz, César A., Demasi, Ramiro A.

View on publisher site
Mendeley readers

Mendeley readers

The data shown below were compiled from readership statistics for 2 Mendeley readers of this research output. Click here to see the associated Mendeley record.

Geographical breakdown

Country Count As %
Unknown 2 100%

Demographic breakdown

Readers by professional status Count As %
Professor 1 50%
Student > Ph. D. Student 1 50%
Readers by discipline Count As %
Computer Science 2 100%

This page is provided by Altmetric.