↓ 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 6: Formal Verification of n-bit ALU Using Theorem Proving
Altmetric Badge
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
Formal Verification of n-bit ALU Using Theorem Proving
Chapter number 6
Book title
Formal Methods: Foundations and Applications
Published by
Springer, Cham, November 2018
DOI 10.1007/978-3-030-03044-5_6
Book ISBNs
978-3-03-003043-8, 978-3-03-003044-5
Authors

Sumayya Shiraz, Osman Hasan, Shiraz, Sumayya, Hasan, Osman

View on publisher site

This page is provided by Altmetric.