Formal Methods: Foundations and Applications

12th Brazilian Symposium on Formal Methods, SBMF 2009 Gramado, Brazil, August 19-21, 2009 Revised Selected Papers

Editors:

ISBN: 978-3-642-10451-0 (Print) 978-3-642-10452-7 (Online)

Table of contents (23 chapters)

previous Page of 2
  1. Front Matter

    Pages -

  2. No Access

    Book Chapter

    Pages 1-16

    Speeding Up Simulation of SystemC Using Model Checking

  3. No Access

    Book Chapter

    Pages 17-22

    Partial Behaviour Modelling: Foundations for Incremental and Iterative Model-Based Software Engineering

  4. No Access

    Book Chapter

    Pages 23-36

    Satisfiability Modulo Theories: An Appetizer

  5. No Access

    Book Chapter

    Pages 37-53

    Interruption Testing of Reactive Systems

  6. No Access

    Book Chapter

    Pages 54-69

    Test Case Generation of Embedded Real-Time Systems with Interruptions for FreeRTOS

  7. No Access

    Book Chapter

    Pages 70-83

    Concurrent Models of Flash Memory Device Behaviour

  8. No Access

    Book Chapter

    Pages 84-100

    Corecursive Algebras: A Study of General Structured Corecursion

  9. No Access

    Book Chapter

    Pages 101-117

    Formalizing FreeRTOS: First Steps

  10. No Access

    Book Chapter

    Pages 118-133

    A Mechanized Strategy for Safe Abstraction of CSP Specifications

  11. No Access

    Book Chapter

    Pages 134-152

    Applying Event and Machine Decomposition to a Flash-Based Filestore in Event-B

  12. No Access

    Book Chapter

    Pages 153-169

    An Integrated Formal Methods Tool-Chain and Its Application to Verifying a File System Model

  13. No Access

    Book Chapter

    Pages 170-185

    Towards Safe Design of Synchronous Bus Protocols in Event-B

  14. No Access

    Book Chapter

    Pages 186-203

    Mechanising Data-Types for Kernel Design in Z

  15. No Access

    Book Chapter

    Pages 204-219

    A Complete Set of Object Modeling Laws for Alloy

  16. No Access

    Book Chapter

    Pages 220-235

    Undecidability Results for Distributed Probabilistic Systems

  17. No Access

    Book Chapter

    Pages 236-250

    Formalisation and Analysis of Objects as CSP Processes

  18. No Access

    Book Chapter

    Pages 251-265

    Concolic Testing of the Multi-sector Read Operation for Flash Memory File System

  19. No Access

    Book Chapter

    Pages 266-281

    Low-Level Code Verification Based on CSP Models

  20. No Access

    Book Chapter

    Pages 282-289

    Formal Modelling of a Microcontroller Instruction Set in B

  21. No Access

    Book Chapter

    Pages 290-305

    Defining Behaviours by Quasi-finality

previous Page of 2