↓ Skip to main content

FM 2012: Formal Methods

Overview of attention for book
Cover of 'FM 2012: Formal Methods'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Software Security: A Formal Perspective
  3. Altmetric Badge
    Chapter 2 Formal Methods in the Wild: Trains, Planes, & Automobile
  4. Altmetric Badge
    Chapter 3 Who Are We, and What Are We Doing Here?
  5. Altmetric Badge
    Chapter 4 Automata Learning through Counterexample Guided Abstraction Refinement
  6. Altmetric Badge
    Chapter 5 Julienne : A Trace Slicer for Conditional Rewrite Theories
  7. Altmetric Badge
    Chapter 6 IMITATOR 2.5: A Tool for Analyzing Robustness in Scheduling Problems
  8. Altmetric Badge
    Chapter 7 Maximal and Compositional Pattern-Based Loop Invariants
  9. Altmetric Badge
    Chapter 8 A Formal Approach to Autonomous Vehicle Coordination
  10. Altmetric Badge
    Chapter 9 FM 2012: Formal Methods
  11. Altmetric Badge
    Chapter 10 Decentralised LTL Monitoring
  12. Altmetric Badge
    Chapter 11 FM 2012: Formal Methods
  13. Altmetric Badge
    Chapter 12 A Certified Constraint Solver over Finite Domains
  14. Altmetric Badge
    Chapter 13 Collaborative Verification and Testing with Explicit Assumptions
  15. Altmetric Badge
    Chapter 14 TLA +  Proofs
  16. Altmetric Badge
    Chapter 15 The Modal Transition System Control Problem
  17. Altmetric Badge
    Chapter 16 When Structural Refinement of Components Keeps Temporal Properties over Reconfigurations
  18. Altmetric Badge
    Chapter 17 Error Invariants
  19. Altmetric Badge
    Chapter 18 Correctness of Pointer Manipulating Algorithms Illustrated by a Verified BDD Construction
  20. Altmetric Badge
    Chapter 19 FM 2012: Formal Methods
  21. Altmetric Badge
    Chapter 20 Using Time to Add Order to Distributed Testing
  22. Altmetric Badge
    Chapter 21 A Verification Toolkit for Numerical Transition Systems
  23. Altmetric Badge
    Chapter 22 Satellite Rendezvous and Conjunction Avoidance: Case Studies in Verification of Nonlinear Hybrid Systems
  24. Altmetric Badge
    Chapter 23 Executing Formal Semantics with the $\mathbb K$ Tool
  25. Altmetric Badge
    Chapter 24 Automatic Compositional Verification of Timed Systems
  26. Altmetric Badge
    Chapter 25 Applying Software Model Checking Techniques for Behavioral UML Models
  27. Altmetric Badge
    Chapter 26 Reachability Analysis of the HTML5 Parser Specification and Its Application to Compatibility Testing
  28. Altmetric Badge
    Chapter 27 Theory and Techniques for Synthesizing Efficient Breadth-First Search Algorithms
  29. Altmetric Badge
    Chapter 28 Improved BDD-Based Discrete Analysis of Timed Systems
  30. Altmetric Badge
    Chapter 29 Experience Report on Designing and Developing Control Components Using Formal Methods
  31. Altmetric Badge
    Chapter 30 Automatic Dimensional Analysis of Cyber-Physical Systems
  32. Altmetric Badge
    Chapter 31 Validating B,Z and TLA  +  Using ProB  and Kodkod
  33. Altmetric Badge
    Chapter 32 From Hoare Logic to Matching Logic Reachability
  34. Altmetric Badge
    Chapter 33 Distribution of Modal Transition Systems
  35. Altmetric Badge
    Chapter 34 Efficient Malware Detection Using Model-Checking
  36. Altmetric Badge
    Chapter 35 Formalization of Incremental Simplex Algorithm by Stepwise Refinement
  37. Altmetric Badge
    Chapter 36 VMC: A Tool for Product Variability Analysis
  38. Altmetric Badge
    Chapter 37 Specification-Based Test Repair Using a Lightweight Formal Method
  39. Altmetric Badge
    Chapter 38 A “Hybrid” Approach for Synthesizing Optimal Controllers of Hybrid Systems: A Case Study of the Oil Pump Industrial Example
Attention for Chapter 36: VMC: A Tool for Product Variability Analysis
Altmetric Badge

Mentioned by

twitter
1 X user

Citations

dimensions_citation
7 Dimensions

Readers on

mendeley
13 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.
Chapter title
VMC: A Tool for Product Variability Analysis
Chapter number 36
Book title
FM 2012: Formal Methods
Published by
Springer, Berlin, Heidelberg, August 2012
DOI 10.1007/978-3-642-32759-9_36
Book ISBNs
978-3-64-232758-2, 978-3-64-232759-9
Authors

Maurice H. ter Beek, Franco Mazzanti, Aldi Sulova, ter Beek, Maurice H., Mazzanti, Franco, Sulova, Aldi

X Demographics

X Demographics

The data shown below were collected from the profile of 1 X user 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 13 Mendeley readers of this research output. Click here to see the associated Mendeley record.

Geographical breakdown

Country Count As %
China 1 8%
Belgium 1 8%
Unknown 11 85%

Demographic breakdown

Readers by professional status Count As %
Student > Ph. D. Student 6 46%
Student > Master 3 23%
Student > Doctoral Student 1 8%
Researcher 1 8%
Professor > Associate Professor 1 8%
Other 0 0%
Unknown 1 8%
Readers by discipline Count As %
Computer Science 11 85%
Engineering 1 8%
Unknown 1 8%