Tools for Practical Software Verification

Overview of attention for book

Cover of 'Tools for Practical Software Verification'

Table of Contents

Altmetric Badge

Book Overview
Altmetric Badge

Chapter 1 Model Checking and the State Explosion Problem
Altmetric Badge

Chapter 2 From Program to Logic: An Introduction
Altmetric Badge

Chapter 3 Introduction to the Coq Proof-Assistant for Practical Software Verification
Altmetric Badge

Chapter 4 Advanced Theorem Proving Techniques in PVS and Applications
Altmetric Badge

Chapter 5 Automatic Verification of Advanced Object-Oriented Features: The AutoProof Approach
Altmetric Badge

Chapter 6 Using Dafny, an Automatic Program Verifier

Attention for Chapter 3: Introduction to the Coq Proof-Assistant for Practical Software Verification

Altmetric Badge

Citations

dimensions_citation: 2 Dimensions

Readers on

mendeley: 68 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.

Synergistic Verification of Hardware Peripherals through Virtual Prototype Aided Cross-Level Methodology Leveraging Coverage-Guided Fuzzing and Co-Simulation

Article in Chips (September 2023)

Integrating IoT + Fog + Cloud Infrastructures: System Modeling and Research Challenges

Book chapter (January 2019)

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

Click here to find out how to access more activity.