↓ 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 Meaningful Models
  3. Altmetric Badge
    Chapter 2 Deductive Generalization
  4. Altmetric Badge
    Chapter 3 Unifying Theories of Logic and Specification
  5. Altmetric Badge
    Chapter 4 Institution-Based Semantics for MOF and QVT-Relations
  6. Altmetric Badge
    Chapter 5 Derivation and Verification of Parallel Components for the Needs of an HPC Cloud
  7. Altmetric Badge
    Chapter 6 An Executable Semantics for a Multimedia Authoring Language
  8. Altmetric Badge
    Chapter 7 On the Use of SPIN for Studying the Behavior of Nested Petri Nets
  9. Altmetric Badge
    Chapter 8 Specifying a Linked Data Structure in JML for Formal Verification and Runtime Checking
  10. Altmetric Badge
    Chapter 9 Toward the Revision of CTL Models through Kripke Modal Transition Systems
  11. Altmetric Badge
    Chapter 10 Formal Analysis of Information Flow Using Min-Entropy and Belief Min-Entropy
  12. Altmetric Badge
    Chapter 11 Theorem Proving Graph Grammars: Strategies for Discharging Proof Obligations
  13. Altmetric Badge
    Chapter 12 A Refinement Framework for Autonomous Agents
  14. Altmetric Badge
    Chapter 13 A Formal Semantics for SysML Activity Diagrams
  15. Altmetric Badge
    Chapter 14 Formal Analysis of Memory Contention in a Multiprocessor System
  16. Altmetric Badge
    Chapter 15 Algebraic Graph Transformations with Inheritance
  17. Altmetric Badge
    Chapter 16 Generating Protocol Software from CPN Models Annotated with Pragmatics
Attention for Chapter 3: Unifying Theories of Logic and Specification
Altmetric Badge

Citations

dimensions_citation
2 Dimensions

Readers on

mendeley
4 Mendeley
Summary Dimensions citations
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
Unifying Theories of Logic and Specification
Chapter number 3
Book title
Formal Methods: Foundations and Applications
Published by
Springer, Berlin, Heidelberg, September 2013
DOI 10.1007/978-3-642-41071-0_3
Book ISBNs
978-3-64-241070-3, 978-3-64-241071-0
Authors

Victor Bandur, Jim Woodcock

View on publisher site
Mendeley readers

Mendeley readers

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

Geographical breakdown

Country Count As %
Unknown 4 100%

Demographic breakdown

Readers by professional status Count As %
Student > Ph. D. Student 2 50%
Professor 1 25%
Lecturer 1 25%
Readers by discipline Count As %
Computer Science 4 100%

This page is provided by Altmetric.