Book Volume 9660 2016

Theory and Practice of Formal Methods

Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday

Editors:

ISBN: 978-3-319-30733-6 (Print) 978-3-319-30734-3 (Online)

Table of contents (27 chapters)

previous Page of 2
  1. Front Matter

    Pages I-XII

  2. Personal Notes

    1. Front Matter

      Pages 1-1

    2. No Access

      Chapter

      Pages 3-5

      Program Verification: To Err is Human

    3. No Access

      Chapter

      Pages 6-8

      Fond (and Frank) Memories of Frank

    4. No Access

      Chapter

      Pages 9-11

      Warmest Congratulations, Frank!

  3. Scientific Contributions

    1. Front Matter

      Pages 13-13

    2. No Access

      Chapter

      Pages 15-32

      Conformance Checking of Real-Time Models

    3. No Access

      Chapter

      Pages 33-46

      Resource Analysis of Distributed Systems

    4. No Access

      Chapter

      Pages 47-64

      Comparing Trace Expressions and Linear Temporal Logic for Runtime Verification

    5. No Access

      Chapter

      Pages 65-87

      Proper Protocol

    6. No Access

      Chapter

      Pages 88-103

      A Compositional Approach to the Verification of Hybrid Systems

    7. No Access

      Chapter

      Pages 104-121

      Array Abstraction with Symbolic Pivots

    8. No Access

      Chapter

      Pages 122-139

      Modeling Role-Based Systems with Exogenous Coordination

    9. No Access

      Chapter

      Pages 140-154

      Vats: A Safe, Reactive Storage Abstraction

    10. No Access

      Chapter

      Pages 155-172

      Denotational and Operational Preciseness of Subtyping: A Roadmap

    11. No Access

      Chapter

      Pages 173-193

      A Sound and Complete Hoare Logic for Dynamically-Typed, Object-Oriented Programs

    12. No Access

      Chapter

      Pages 194-210

      Self-Reconfiguring Microservices

    13. No Access

      Chapter

      Pages 211-225

      Statically and Dynamically Verifiable SLA Metrics

    14. No Access

      Chapter

      Pages 226-241

      Effectively Eliminating Auxiliaries

    15. No Access

      Chapter

      Pages 242-260

      Towards a Proof Method for Paradigm

    16. No Access

      Chapter

      Pages 261-276

      Toward a Formal Foundation for Time Travel in Stories and Games

    17. No Access

      Chapter

      Pages 277-293

      Industrial Application of Formal Models Generated from Domain Specific Languages

    18. No Access

      Chapter

      Pages 294-308

      Formal Frameworks for Verifying Normative Multi-agent Systems

previous Page of 2