↓ 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 7: The Scallina Grammar
Altmetric Badge

Readers on

mendeley
3 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
The Scallina Grammar
Chapter number 7
Book title
Formal Methods: Foundations and Applications
Published by
Springer, Cham, November 2018
DOI 10.1007/978-3-030-03044-5_7
Book ISBNs
978-3-03-003043-8, 978-3-03-003044-5
Authors

Youssef El Bakouny, Dani Mezher, El Bakouny, Youssef, Mezher, Dani

View on publisher site
Mendeley readers

Mendeley readers

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

Geographical breakdown

Country Count As %
Unknown 3 100%

Demographic breakdown

Readers by professional status Count As %
Student > Ph. D. Student 2 67%
Student > Bachelor 1 33%
Readers by discipline Count As %
Computer Science 2 67%
Engineering 1 33%

This page is provided by Altmetric.