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

Formal Methods: Foundations and Applications

Overview of attention for book
Cover of 'Formal Methods: Foundations and Applications'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 The Pragmatic Dimension of Formal Methods: Towards Building a Sound Synthesiser
  3. Altmetric Badge
    Chapter 2 Formal Design of Cloud Computing Systems in Maude
  4. Altmetric Badge
    Chapter 3 Source Code Analysis with a Temporal Extension of First-Order Logic
  5. Altmetric Badge
    Chapter 4 A Type-Directed Algorithm to Generate Well-Typed Featherweight Java Programs
  6. Altmetric Badge
    Chapter 5 Programming Language Foundations in Agda
  7. Altmetric Badge
    Chapter 6 Formal Verification of n-bit ALU Using Theorem Proving
  8. Altmetric Badge
    Chapter 7 The Scallina Grammar
  9. Altmetric Badge
    Chapter 8 VDM at Large: Modelling the EMV ® $$2^{nd}$$ 2 nd Generation Kernel
  10. Altmetric Badge
    Chapter 9 Constraint Reusing and k -Induction for Three-Valued Bounded Model Checking
  11. Altmetric Badge
    Chapter 10 TeSSLa: Temporal Stream-Based Specification Language
  12. Altmetric Badge
    Chapter 11 Automatic Test Case Generation for Concurrent Features from Natural Language Descriptions
  13. Altmetric Badge
    Chapter 12 A Methodology for Protocol Verification Applied to EMV ®  1
  14. Altmetric Badge
    Chapter 13 Analysing RoboChart with Probabilities
  15. Altmetric Badge
    Chapter 14 Timed Scenarios: Consistency, Equivalence and Optimization
  16. Altmetric Badge
    Chapter 15 Safe and Constructive Design with UML Components
  17. Altmetric Badge
    Chapter 16 Formal Modelling of Environment Restrictions from Natural-Language Requirements
Attention for Chapter 9: Constraint Reusing and k -Induction for Three-Valued Bounded Model Checking
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
Constraint Reusing and k -Induction for Three-Valued Bounded Model Checking
Chapter number 9
Book title
Formal Methods: Foundations and Applications
Published by
Springer, Cham, November 2018
DOI 10.1007/978-3-030-03044-5_9
Book ISBNs
978-3-03-003043-8, 978-3-03-003044-5
Authors

Nils Timm, Stefan Gruner, Matthias Harvey, Timm, Nils, Gruner, Stefan, Harvey, Matthias

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 > Master 1 100%
Readers by discipline Count As %
Computer Science 1 100%

This page is provided by Altmetric.