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

Tests and Proofs

Overview of attention for book
Cover of 'Tests and Proofs'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Tests from Witnesses
  3. Altmetric Badge
    Chapter 2 An Approximation-Based Approach for the Random Exploration of Large Models
  4. Altmetric Badge
    Chapter 3 Static and Dynamic Verification of Relational Properties on Self-composed C Code
  5. Altmetric Badge
    Chapter 4 Under-Approximation Generation Driven by Relevance Predicates and Variants
  6. Altmetric Badge
    Chapter 5 Using Dependence Graphs to Assist Verification and Testing of Information-Flow Properties
  7. Altmetric Badge
    Chapter 6 Tactic Program-Based Testing and Bounded Verification in Isabelle/HOL
  8. Altmetric Badge
    Chapter 7 Verification Coverage for Combining Test and Proof
  9. Altmetric Badge
    Chapter 8 Detection of Security Vulnerabilities in C Code Using Runtime Verification: An Experience Report
  10. Altmetric Badge
    Chapter 9 Formalizing (Web) Standards
  11. Altmetric Badge
    Chapter 10 Automated Test Case Generation for Java EE Based Web Applications
  12. Altmetric Badge
    Chapter 11 Ghosts for Lists: From Axiomatic to Executable Specifications
Attention for Chapter 3: Static and Dynamic Verification of Relational Properties on Self-composed C Code
Altmetric Badge

Readers on

mendeley
1 Mendeley
Summary
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
Static and Dynamic Verification of Relational Properties on Self-composed C Code
Chapter number 3
Book title
Tests and Proofs
Published by
Springer, Cham, June 2018
DOI 10.1007/978-3-319-92994-1_3
Book ISBNs
978-3-31-992993-4, 978-3-31-992994-1
Authors

Lionel Blatter, Nikolai Kosmatov, Pascale Le Gall, Virgile Prevosto, Guillaume Petiot

View on publisher site
Mendeley readers

Mendeley readers

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

Geographical breakdown

Country Count As %
Unknown 1 100%

Demographic breakdown

Readers by professional status Count As %
Student > Ph. D. Student 1 100%
Readers by discipline Count As %
Psychology 1 100%

This page is provided by Altmetric.