↓ Skip to main content

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 Speeding Up Simulation of SystemC Using Model Checking
  3. Altmetric Badge
    Chapter 2 Partial Behaviour Modelling: Foundations for Incremental and Iterative Model-Based Software Engineering
  4. Altmetric Badge
    Chapter 3 Satisfiability Modulo Theories: An Appetizer
  5. Altmetric Badge
    Chapter 4 Interruption Testing of Reactive Systems
  6. Altmetric Badge
    Chapter 5 Test Case Generation of Embedded Real-Time Systems with Interruptions for FreeRTOS
  7. Altmetric Badge
    Chapter 6 Concurrent Models of Flash Memory Device Behaviour
  8. Altmetric Badge
    Chapter 7 Corecursive Algebras: A Study of General Structured Corecursion
  9. Altmetric Badge
    Chapter 8 Formalizing FreeRTOS: First Steps
  10. Altmetric Badge
    Chapter 9 A Mechanized Strategy for Safe Abstraction of CSP Specifications
  11. Altmetric Badge
    Chapter 10 Applying Event and Machine Decomposition to a Flash-Based Filestore in Event-B
  12. Altmetric Badge
    Chapter 11 An Integrated Formal Methods Tool-Chain and Its Application to Verifying a File System Model
  13. Altmetric Badge
    Chapter 12 Towards Safe Design of Synchronous Bus Protocols in Event-B
  14. Altmetric Badge
    Chapter 13 Mechanising Data-Types for Kernel Design in Z
  15. Altmetric Badge
    Chapter 14 A Complete Set of Object Modeling Laws for Alloy
  16. Altmetric Badge
    Chapter 15 Undecidability Results for Distributed Probabilistic Systems
  17. Altmetric Badge
    Chapter 16 Formalisation and Analysis of Objects as CSP Processes
  18. Altmetric Badge
    Chapter 17 Concolic Testing of the Multi-sector Read Operation for Flash Memory File System
  19. Altmetric Badge
    Chapter 18 Low-Level Code Verification Based on CSP Models
  20. Altmetric Badge
    Chapter 19 Formal Modelling of a Microcontroller Instruction Set in B
  21. Altmetric Badge
    Chapter 20 Defining Behaviours by Quasi-finality
  22. Altmetric Badge
    Chapter 21 Verifying Compiled File System Code
  23. Altmetric Badge
    Chapter 22 Reasoning about General Quantum Programs over Mixed States
  24. Altmetric Badge
    Chapter 23 A Simple and General Theoretical Account for Abstract Types
Overall attention for this book and its chapters
Altmetric Badge

Mentioned by

twitter
4 X users
wikipedia
2 Wikipedia pages

Citations

dimensions_citation
2 Dimensions

Readers on

mendeley
31 Mendeley
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.
Title
Formal Methods: Foundations and Applications
Published by
Springer Berlin Heidelberg, November 2009
DOI 10.1007/978-3-642-10452-7
ISBNs
978-3-64-210451-0, 978-3-64-210452-7
Editors

Oliveira, Marcel Vinícius Medeiros, Woodcock, Jim

X Demographics

X Demographics

The data shown below were collected from the profiles of 4 X users who shared this research output. Click here to find out more about how the information was compiled.
Mendeley readers

Mendeley readers

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

Geographical breakdown

Country Count As %
France 2 6%
Portugal 1 3%
United States 1 3%
Unknown 27 87%

Demographic breakdown

Readers by professional status Count As %
Student > Ph. D. Student 14 45%
Unspecified 4 13%
Student > Master 3 10%
Student > Bachelor 3 10%
Researcher 3 10%
Other 4 13%
Readers by discipline Count As %
Computer Science 22 71%
Unspecified 4 13%
Engineering 3 10%
Social Sciences 1 3%
Business, Management and Accounting 1 3%
Other 0 0%